Proof and disproof in formal logic
Bookmark
ShareCopied to clipboardProof and disproof in formal logic is a book. It was written by Richard Bornat and published by Oxford University Press in 2005.
Key facts
- author: Richard Bornat
- publication date: 2005
- book publisher: Oxford University Press
- book series: unknown
- book subjects: Proof theory-Data processing
See more factsExtract data
Download datasets about Proof and disproof in formal logic:
Dataset of books series that contain Proof and disproof in formal logic:
Dataset of book subjects that contain Proof and disproof in formal logic:
"Proof and disproof in formal logic" is one of the books by Richard Bornat, books by Oxford University Press and 2,617,384 books in our database.
Related
Connected or similar to Proof and disproof in formal logic: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.