Foundations
Logic in Computer Science
2021-09-01 v4 Logic
Abstract
This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.
Cite
@article{arxiv.2009.09541,
title = {Foundations},
author = {Jeremy Avigad},
journal= {arXiv preprint arXiv:2009.09541},
year = {2021}
}
Comments
For the forthcoming Handbook of Proof Assistants and Their Applications in Mathematics and Computer Science, edited by Jasmin Blanchette and Assia Mahboubi