Logic for Mathematical Writing

DOI10.1093/JIGPAL/JZM022MaRDI QIDQ5427797zbMATH OpenOpenAlexFDO

Authors Edmund Harriss, Wilfrid Hodges

Publication date 27 November 2007

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/6f59eb3b6459e47c1df41f9f03ce01fb23ec824b

zbMATH Keywords

logicnatural deductionPascalinformal logicdischarging assumptionsmathematical exposition

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• Mathematical Writing
• scientific article; zbMATH DE number 48878
• scientific article; zbMATH DE number 6819830
• scientific article; zbMATH DE number 5306054
• scientific article; zbMATH DE number 6174934

This page was built for publication: Logic for Mathematical Writing

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