Foundations

MaRDI QIDQ6349496zbMATH OpenFDO

Authors Jeremy Avigad

Publication date 20 September 2020

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Abstract: This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.

This page was built for publication: Foundations

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