Algebra and Logic
Article
Baaz,M;Ertel,M;Kahle,R;Piecha,T;von Plato,J
JOURNAL OF LOGIC AND COMPUTATION
2024
34
6
1003-1009
10.1093/logcom/exae026
90 years of Gödel’s incompleteness theorems: Logic and computation
NOVA Math > NOVA Math > NOVA Math Publications > 90 years of Gödel’s incompleteness theorems: Logic and computation