scientific article
From MaRDI portal
Publication:3813782
zbMath0663.01008MaRDI QIDQ3813782
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On mind \& Turing's machines ⋮ Proof Theoretic Analysis by Iterated Reflection ⋮ The scope of Gödel's first incompleteness theorem ⋮ Mechanism, truth, and Penrose's new argument