Logic primer.

MaRDI QIDQ2736597zbMATH OpenFDO

Authors Colin Allen, Michael Hand

Publication date 11 September 2001

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• scientific article; zbMATH DE number 7646018
• The logic manual
• Introduction to logic
• scientific article; zbMATH DE number 46543
• scientific article; zbMATH DE number 3843719

Cited in

(6)

• Towards a theory of mathematical argument
• Towards a theory of mathematical argument
• The connectives
• The teaching tool CalcCheck: a proof-checker for Gries and Schneider's ``Logical approach to discrete math
• scientific article; zbMATH DE number 1182727 (Why is no real title available?)
• scientific article; zbMATH DE number 7646018 (Why is no real title available?)

This page was built for publication: Logic primer.

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