Arithmetic as a study of formal systems

DOI10.1305/NDJFL/1093891880MaRDI QIDQ1219255zbMATH OpenOpenAlexFDO

Authors 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)

Cited in

(1)

• Curry's formalism as structuralism

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1219255)