Mixing Computations and Proofs

DOI10.6092/issn.1972-5787/4552zbMath1451.03015MaRDI QIDQ5195270

Michael J. Beeson

Publication date: 18 September 2019

Full work available at URL: https://doaj.org/article/22e5b2da36a74df496b3361d965e0638

zbMATH Keywords

logic; computation; formal proof

Mathematics Subject Classification ID

03B35: Mechanization of proofs and logical operations

68V20: Formalization of mathematics in connection with theorem provers