Proof assistant/Bibliography: Difference between revisions
Jump to navigation
Jump to search
imported>Boris Tsirelson (Nipkow) |
imported>Boris Tsirelson |
||
| (7 intermediate revisions by the same user not shown) | |||
| Line 9: | Line 9: | ||
| first3 = Markus | | first3 = Markus | ||
| title = Isabelle/HOL — A Proof Assistant for Higher-Order Logic | | title = Isabelle/HOL — A Proof Assistant for Higher-Order Logic | ||
| series = | | series = Lecture Notes in Computer Science | ||
| volume = 2283 | | volume = 2283 | ||
| year = 2002 | | year = 2002 | ||
| publisher = Springer | | publisher = Springer | ||
| ISBN = 3-540-43376-7 | |||
}}. | |||
{{Citation | |||
| editor-last = Wiedijk | |||
| editor-first = Freek | |||
| title = The Seventeen Provers of the World | |||
| series = Lecture Notes in Artificial Intelligence | |||
| volume = 3600 | |||
| year = 2006 | |||
| publisher = Springer | |||
| ISBN = 3-540-30704-4 | |||
}}. | |||
(In both cases PDF files are available for free download, see the [[Proof assistant/External Links|external links page]]). | |||
==Background matter== | |||
{{Citation | |||
| last = Bourbaki | |||
| first = Nicolas | |||
| title = Elements of mathematics: Theory of sets | |||
| year = 1968 | |||
| publisher = Hermann (original), Addison-Wesley (translation) | |||
}}. | |||
{{Citation | |||
| last = Taylor | |||
| first = Paul | |||
| title = Practical foundations of mathematics | |||
| year = 1999 | |||
| publisher = Cambridge University | |||
| ISBN = 0 521 63107 6 | |||
}}. | }}. | ||
Latest revision as of 06: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.