Publication:3571948
From MaRDI portal
zbMath1191.03001MaRDI QIDQ3571948
Amílcar Sernadas, Cristina Sernadas
Publication date: 29 June 2010
consistency; textbook; completeness; arithmetic; decidability; computability theory; mathematical logic; Hilbert's programme; Gödel incompleteness theorems
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations