An edition of 100% mathematical proof (1996)
By Rowan Garnier
Publish Date
1996
Publisher
Wiley
Language
eng
Pages
317
Description:
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