Publication:4692926
From MaRDI portal
zbMath0674.00003MaRDI QIDQ4692926
Publication date: 5 June 1993
00A07: Problem books
03E30: Axiomatics of classical set theory and its fragments
03B99: General logic
00A99: General and miscellaneous specific topics
00A08: Recreational mathematics
Related Items
Truth and provability, Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)