Proof assistant/Bibliography: Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson (Background matter) |
imported>Boris Tsirelson |
||
| Line 30: | Line 30: | ||
==Background matter== | ==Background matter== | ||
{{Citation | {{Citation | ||
Latest revision as of 05:04, 15 August 2010
- Please sort and annotate in a user-friendly manner. For formatting, consider using automated reference wikification.
Nipkow, Tobias; Lawrence C. Paulson & Markus Wenzel (2002), Isabelle/HOL — A Proof Assistant for Higher-Order Logic, Lecture Notes in Computer Science, vol. 2283, Springer, ISBN 3-540-43376-7.
Wiedijk, Freek, ed. (2006), The Seventeen Provers of the World, Lecture Notes in Artificial Intelligence, vol. 3600, Springer, ISBN 3-540-30704-4.
(In both cases PDF files are available for free download, see the external links page).
Background matter
Bourbaki, Nicolas (1968), Elements of mathematics: Theory of sets, Hermann (original), Addison-Wesley (translation).
Taylor, Paul (1999), Practical foundations of mathematics, Cambridge University, ISBN 0 521 63107 6.