Basic Proof Theory
Cambridge Tracts in Theoretical Computer Science #Other

Basic Proof Theory

Anne S. Troelstra , H. Schwichtenberg , C.J. van Rijsbergen
No ratings yet
Jul 27, 2000 · English · Kindle (432 pages)
Add To Shelf

Rate this book

Export Book Journal

Reviews

No reviews yet

Be the first to review this book and share your thoughts

Sign In to Review
Add To Shelf

Rate this book

Export Book Journal