Towards an arithmetical logic. The arithmetical foundations of logic

DOI10.1007/978-3-319-22087-1zbMATH Open1339.03002OpenAlexW2501961208MaRDI QIDQ2356490

Yvon Gauthier

Publication date: 29 July 2015

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-22087-1

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)

Related Items (4)

Arithmetic based on the Church numerals in illative combinatory logic ⋮ Internal logic. Foundations of mathematics from Kronecker to Hilbert ⋮ TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES ⋮ Title not available (Why is that?)

This page was built for publication: Towards an arithmetical logic. The arithmetical foundations of logic

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