A Logic for Frege’s Theorem

DOI10.1093/OSO/9780199278343.003.0002OpenAlexW3022062290MaRDI QIDQ5137232

Richard G. jun. Heck

Publication date: 2 December 2020

Published in: Logic, Language, and Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/oso/9780199278343.003.0002

zbMATH Keywords

arithmeticlogicismsecond-order logicneo-logicismancestral logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 21st century (01A61)

Related Items (1)

The Ontological Innocence of Schematic Logic

This page was built for publication: A Logic for Frege’s Theorem