Proof assistant/Bibliography

From Citizendium
< Proof assistant
Revision as of 05:04, 15 August 2010 by imported>Boris Tsirelson (→‎Background matter)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
This article is developing and not approved.
 Main Article
 Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
https://en.citizendium.org/wiki/index.php?title=Proof_assistant/Bibliography&printable=yes
A list of key readings about Proof assistant.
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.

Retrieved from "https://citizendium.org/wiki/index.php?title=Proof_assistant/Bibliography&oldid=746578"