Publication:3137312
From MaRDI portal
zbMath0787.03002MaRDI QIDQ3137312
Publication date: 6 October 1993
model theory; recursion theory; Gödel theorems; elementary ZF set theory; formalization of arithmetic
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03F30: First-order arithmetic and fragments
03E30: Axiomatics of classical set theory and its fragments
03D20: Recursive functions and relations, subrecursive hierarchies
03C07: Basic properties of first-order languages and structures