Truth, proof and formal methods : philosophical background
ShareCopied to clipboardTruth, proof and formal methods : philosophical background is a book. It was written by Gerard O'Regan and published by Trinity College, Department of Computer Science in 1995.
Key facts
- author: Gerard O'Regan
- publication date: 1995
- book publisher: Trinity College, Department of Computer Science
- book series: unknown
- book subjects: Logic, Symbolic and mathematical, Philosophy, Proof theory
See more factsExtract data
Download datasets about Truth, proof and formal methods : philosophical background:
Dataset of books series that contain Truth, proof and formal methods : philosophical background
"Truth, proof and formal methods : philosophical background" is one of the books by Gerard O'Regan, books by Trinity College, Department of Computer Science and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.