scientific article; zbMATH DE number 3296221
From MaRDI portal
Publication:5579473
zbMath0186.00302MaRDI QIDQ5579473
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Mechanizing structural induction. I: Formal system ⋮ Synthetic components of infinite classes of postulates ⋮ The Classical Model Existence Theorem in Subclassical Predicate Logics I ⋮ Sloman's view of Gödel's sentence
This page was built for publication:
