scientific article
From MaRDI portal
Publication:4041539
zbMath0291.02005MaRDI QIDQ4041539
Jaakko Hintikka, Ilkka Niiniluoto
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Proof theory and constructive mathematics (03F99) Other classical first-order model theory (03C68)
Related Items (1)
This page was built for publication: