|
1
|
A finite first-order presentation of set theory
– S Vaillant
|
|
2
|
Fellowship: who needs a manual anyway
– F Kirchner
- 2005
|
|
2
|
C.: Theorem proving modulo, revised version. Rapport de Recherche 4861, Institut National de Recherche en Informatique et en Automatique
– G Dowek, T Hardin, Kirchner
- 2003
|
|
1
|
J.M.: Cours de Mathématiques. Tome 2 : Analyse. Dunod
– J Lelong-Ferrand, Arnaudies
- 1972
|
|
13
|
Computer proofs in Godel’s class theory with equational definitions for composite and cross
– J G F Belinfante
- 1999
|
|
4
|
Introduction to Mathematical Logic, 4th ed
– E Mendelson
- 1997
|
|
12
|
Arithmetic as a theory modulo
– Gilles Dowek, Benjamin Werner
- 2005
|
|
7
|
A mechanically verified, sound and complete theorem prover for first order logic
– Tom Ridge, James Margetson
- 2005
|
|
20
|
Functional Back-Ends within the Lambda-Sigma Calculus
– Thérèse Hardin, Luc Maranget, Bruno Pagano
- 1996
|
|
10
|
Éléments de mathématique. Théorie des ensembles
– N Bourbaki
- 1970
|
|
20
|
Set theory in first-order logic: Clauses for Gödel’s axioms
– Robert Boyer, Ewing Lusk, William McCune, Ross Overbeek, Mark Stickel, Lawrence Wos
- 1986
|
|
41
|
Set theory for verification: I. From foundations to functions
– Lawrence C. Paulson
- 1993
|
|
33
|
Automated deduction in von Neumann-Bernays-Gödel set theory
– Art Quaife
- 1992
|
