Proof theory and logical complexity
We couldn't estimate the reading time for this book.
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- Open LibraryOL2078767M
- ISBN-108870881237
- OCLC Control Number17455769
- OCLC Control Numberprooftheorylogic00gira
- Library of Congress Control Number88114031
and 1 more
- Goodreads3402071
Classifications
- DDC511.3
- LCCQA9.54 .G57 1987
Alternate Titles
- Logical complexity.
Subjects
Topics
Series Statement
- Studies in proof theory ;
Other Editions
- Proof theory and logical complexity
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!