Arithmetic as a study of formal systems

DOI10.1305/ndjfl/1093891880zbMath0311.02002OpenAlexW1995102182MaRDI QIDQ1219255

Jonathan P. Seldin

Publication date: 1975

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093891880

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) General logic (03B99)

Related Items (1)

Curry's formalism as structuralism

This page was built for publication: Arithmetic as a study of formal systems