An edition of Proof, logic, and formalization (1992)
Proof, logic, and formalization
By Michael Detlefsen
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1992
Publisher
Routledge
Language
eng
Pages
241
Description:
subjects: Symbolic and mathematical Logic, Proof theory, Logique symbolique et mathématique, Preuve, Théorie de la, Formele logica, Mathematik, Mathématiques, Bewijstheorie, Beweis, Beweistheorie, Aufsatzsammlung, Philosophie, Logik, Logic, symbolic and mathematical, Mathematics, Philosophy, Théorie de la preuve, Infinity, Logic