scientific article
From MaRDI portal
Publication:3571948
zbMath1191.03001MaRDI QIDQ3571948
Amílcar Sernadas, Cristina Sernadas
Publication date: 29 June 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
consistencytextbookcompletenessarithmeticdecidabilitycomputability theorymathematical logicHilbert's programmeGödel incompleteness theorems
This page was built for publication: