Introducing basic theories for the foundations of mathematics

zbMath0797.03006MaRDI QIDQ1330266

Giacomo Lenzi, Ennio De Giorgi, Marco Forti

Publication date: 20 October 1994

Published in: Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Serie IX. Rendiconti Lincei. Matematica e Applicazioni (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/244309

zbMATH Keywords

collectionqualityself-referencerelationoperationnatural numberFoundations of Mathematics

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30)

This page was built for publication: Introducing basic theories for the foundations of mathematics