Bibliography:Proof assistant

From Knowino
Jump to: navigation, search

Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus (2002), Isabelle/HOL — A Proof Assistant for Higher-Order Logic, Lecture Notes in Computer Science, 2283, Springer, ISBN 3-540-43376-7 .

Wiedijk, Freek, ed. (2006), The Seventeen Provers of the World, Lecture Notes in Artificial Intelligence, 3600, Springer, ISBN 3-540-30704-4 .

(In both cases PDF files are available for free download, see the external links page).

[edit] 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 .

Personal tools
Variants
Actions
Navigation
Community
Toolbox