Proof theory
Bookmark
ShareCopied to clipboardProof theory is a book subject. It includes 122 books, written by 98 different authors.
Key facts
- number of authors: 98 people
- number of books: 122
- books: 100% mathematical proof, A decision procedure revisited : notes on direct logic, linear logic and its implementation, A framework for priority arguments
- authors: Rowan Garnier, Gianluigi Bellin, Manuel Lerman
- publication dates: 1996, 1991, 2010
- book publishers: Wiley, LFCS, Dept. of Computer Science, University of Edinburgh, Cambridge University Press
See more factsExtract data
Download datasets about Proof theory:
Dataset of books about Proof theory:
"Proof theory" is one of the 293,135 book subjects in our database.
Related
Connected or similar to Proof theory: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.