An Impossible Asylum

DOI10.1080/00029890.2023.2176668arXiv2112.02142MaRDI QIDQ6042557

Marijn J. H. Heule, Unnamed Author, Wojciech Nawrocki, Alexander Bentkamp, Jeremy Avigad

Publication date: 11 May 2023

Published in: The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2112.02142

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)

Cites Work

• Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
• Opinion: The Mechanization of Mathematics
• A concise introduction to mathematical logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An Impossible Asylum