Goodreads Choice Awards 2025

Basic Proof Theory > Editions

by Anne S. Troelstra First published September 13th 1996

Sort by
Format
Language
Editions
Showing 1-5 of 5
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Published September 13th 1996 by Cambridge University Press
Hardcover, 355 pages
Author(s):
ISBN:
9780521572231 (ISBN10: 0521572231)
ASIN:
0521572231
Edition language:
English
Average rating:
3.89 (9 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Published July 31st 2000 by Cambridge University Press
2, Paperback, 432 pages
Author(s):
ISBN:
9780521779111 (ISBN10: 0521779111)
ASIN:
0521779111
Edition language:
English
Average rating:
4.00 (2 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Basic Proof Theory
Basic Proof Theory (Kindle Edition)
Published July 27th 2000 by Cambridge University Press
Kindle Edition, 432 pages
Author(s):
ISBN:
9781316044537 (ISBN10: 131604453X)
ASIN:
131604453X
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Basic Proof Theory 2ed (Cambridge Tracts in Theoretical Computer Science) by Troelstra/Schwichtenberg (2008-01-12)
Basic Proof Theory 2ed (Cambridge Tracts in Theoretical Computer Science) by Troelstra/Schwichtenberg (2008-01-12)
Published by Cambridge University Press
Paperback
Author(s):
ASIN:
B01K0UO8PM
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Published September 15th 2000 by Cambridge University Press
2, Paperback, 430 pages
Author(s):
ISBN:
9780521784528 (ISBN10: 0521784522)
ASIN:
0521784522
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page