Title: Proofs and Fundamentals
First published: April 20, 2000
Subjects: The orie des Ensembles, Set theory, The orie de la Preuve, Proof theory, Preuve, Théorie de la, Ensembles, Théorie des, Algebra, abstract