Publication:5169493
From MaRDI portal
zbMath1291.03002MaRDI QIDQ5169493
Publication date: 10 July 2014
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
00A08: Recreational mathematics
03F40: Gödel numberings and issues of incompleteness
Related Items