scientific article; zbMATH DE number 6751849

DOI10.2143/LEA.234.0.3159739MaRDI QIDQ5283784zbMATH OpenFDO

Authors Jean-Baptiste Joinet

Publication date 25 July 2017

zbMATH Keywords

natural deductionproofG. GentzenJ.-Y. Girard

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Recommendations

• A.N. Prior and ‘The Nature of Logic’
• scientific article; zbMATH DE number 4047678
• scientific article; zbMATH DE number 5896737
• Logic's naturalistic character
• Logic's naturalistic character
• Bolzano and Kant on the nature of logic
• scientific article; zbMATH DE number 7307082
• scientific article; zbMATH DE number 3957045
• scientific article; zbMATH DE number 3933036

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