An edition of Proof, logic, and formalization
(1992)
Proof, logic, and formalization
by Michael Detlefsen
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
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| Edition | Availability |
|---|---|
1
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references and index.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created April 1, 2008
- 14 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| March 5, 2025 | Edited by MARC Bot | import existing book |
| October 25, 2023 | Edited by ImportBot | import existing book |
| December 14, 2022 | Edited by MARC Bot | import existing book |
| October 28, 2022 | Edited by ImportBot | import existing book |
| April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |