Isabelle’s isabelle’s logics: FOL and ZF (2003)
Cached
Download Links
by
Lawrence C. Paulson
,
Tobias Nipkow
,
Markus Wenzel
| Citations: | 4 - 3 self |
BibTeX
@TECHREPORT{Paulson03isabelle’sisabelle’s,
author = {Lawrence C. Paulson and Tobias Nipkow and Markus Wenzel},
title = {Isabelle’s isabelle’s logics: FOL and ZF},
institution = {},
year = {2003}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This manual describes Isabelle’s formalizations of many-sorted first-order logic (FOL) and Zermelo-Fraenkel set theory (ZF). See the Reference Manual for general Isabelle commands, and Introduction to Isabelle for an overall tutorial. This manual is part of the earlier Isabelle documentation, which is somewhat superseded by the Isabelle/HOL Tutorial [11]. However, the present document is the only available documentation for Isabelle’s versions of firstorder
