Publication:4227561
From MaRDI portal
zbMath0935.03008MaRDI QIDQ4227561
George Boolos, Richard G. jun. Heck
Publication date: 18 May 1999
logicism; natural numbers; infinity; second-order arithmetic; successor; Frege arithmetic; JFM 34.0071.05
03A05: Philosophical and critical aspects of logic and foundations
03-03: History of mathematical logic and foundations
01A55: History of mathematics in the 19th century
Related Items