Basic Proof Theory

Cambridge Tracts in Theoretical Computer Science #Other

Basic Proof Theory

Anne S. Troelstra , H. Schwichtenberg

No ratings yet

Sep 13, 1996 · English · Hardcover (355 pages)

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

Rate this book

Export Book Journal