scientific article; zbMATH DE number 2232835

MaRDI QIDQ5708201zbMATH OpenFDO

Authors A. Tortrat

Publication date 28 November 2005

zbMATH Keywords

set theorypropositional logicmodels of arithmetic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Models of arithmetic and set theory (03C62)

Recommendations

• On the role of mathematical logic in mathematical education
• La logique est-elle une discipline des mathématiques ou fait-elle partie de ľ ontologie?
• scientific article; zbMATH DE number 761257
• An introduction to formal logic
• Mathematical Logic: Mathematics of Logic or Logic of Mathematics

Cited in

(9)

• Logic as applied mathematics -- with particular application to the notion of logical form
• La logique est-elle une discipline des mathématiques ou fait-elle partie de ľ ontologie?
• Predicative logic and formal arithmetic
• Sources of domain-independence in the formal sciences
• Formal categorical reasoning
• scientific article; zbMATH DE number 3134288 (Why is no real title available?)
• scientific article; zbMATH DE number 988311 (Why is no real title available?)
• scientific article; zbMATH DE number 7241862 (Why is no real title available?)
• The different ways in which logic is (said to be) formal

This page was built for publication:

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