Proof assistant/Bibliography: Difference between revisions

From Citizendium
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 = LNCS
  | 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

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
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.