scientific article
From MaRDI portal
Publication:4063434
zbMath0306.02046MaRDI QIDQ4063434
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Categoricity and completeness of theories (03C35) Proof theory and constructive mathematics (03F99)
Related Items (1)
This page was built for publication: