BibTeX
CSL-JSON
MLA
Harvard
Foundations
release_yatuz32vondo3eburgtj6jmp6e
by
Jeremy Avigad
Released
as a article
.
2021
Abstract
This is a draft of a chapter on mathematical logic and foundations for an
upcoming handbook of computational proof assistants.
In text/plain
format
Archived Files and Locations
application/pdf 449.0 kB
file_deusyh6h4vcbjo4qmlnbo6u2ii
|
arxiv.org (repository) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
arXiv
2009.09541v4
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links