Theoremus

DOI10.1007/978-3-030-68375-7MaRDI QIDQ4990024zbMATH OpenOpenAlexFDO

Authors Lito Perez Cruz

Publication date 27 May 2021

Full work available at URL https://doi.org/10.1007/978-3-030-68375-7

zbMATH Keywords

mathematical logicmathematical methodologypredicate logicproofpropositional logictheorem

Mathematics Subject Classification ID

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

Recommendations

• An introduction to mathematical proofs
• Proofs 101
• scientific article; zbMATH DE number 5996272
• Mathematical problems on theorem proving. Proofs, formulary for learning and exams
• scientific article; zbMATH DE number 5070526
• scientific article; zbMATH DE number 6027919
• Proof theory. An introduction
• scientific article; zbMATH DE number 1332554
• scientific article; zbMATH DE number 5223057

Cited in

(5)

• The nuts and bolts of proofs.
• scientific article; zbMATH DE number 1095234 (Why is no real title available?)
• scientific article; zbMATH DE number 920141 (Why is no real title available?)
• Building proofs. A practical guide
• Taking the ``oof! out of proofs

This page was built for publication: Theoremus

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