Title: 100% mathematical proof
First published: 1996
Subjects: Logic, Symbolic and mathematical, Proof theory, Symbolic and mathematical Logic, Théorie de la preuve, Logique symbolique et mathématique, MATHEMATICS, General, Beweistheorie, Bewijstheorie
LC classification: QA9.54 .G367 1996