scientific article
From MaRDI portal
Publication:3598173
zbMath1193.03001MaRDI QIDQ3598173
Publication date: 2 February 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) First-order arithmetic and fragments (03F30) Axiomatics of classical set theory and its fragments (03E30) Turing machines and related notions (03D10)