Hilbert and the internal logic of mathematics
From MaRDI portal
Publication:1344187
zbMath0814.03001MaRDI QIDQ1344187
Publication date: 9 February 1995
Published in: Synthese (Search for Journal in Brave)
metamathematicsfoundations of mathematicsHilbert's programmefoundations of an arithmetic theory of algebraic quantitiesKronecker's programme
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)
Related Items (1)
This page was built for publication: Hilbert and the internal logic of mathematics