Notre Dame Journal of Formal Logic

Arithmetic as a study of formal systems.

Jonathan P. Seldin

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic, Volume 16, Number 4 (1975), 449-464.

Dates
First available in Project Euclid: 30 August 2004

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1093891880

Digital Object Identifier
doi:10.1305/ndjfl/1093891880

Mathematical Reviews number (MathSciNet)
MR0419151

Zentralblatt MATH identifier
0311.02002

Subjects
Primary: 02-01

Citation

Seldin, Jonathan P. Arithmetic as a study of formal systems. Notre Dame J. Formal Logic 16 (1975), no. 4, 449--464. doi:10.1305/ndjfl/1093891880. https://projecteuclid.org/euclid.ndjfl/1093891880


Export citation