ENGLISH

Basic Proof Theory

By Anne S. Troelstra , H. Schwichtenberg

Book information

Publisher
Cambridge University Press
Year
2000
ISBN
0521779111, 9780521779111
Language
english
Format
DJVU
Filesize
3 MB (3461880 bytes)
Series
Cambridge Tracts in Theoretical Computer Science 43
Edition
2nd
Pages
429\429
Topic
Mathematics Logic
Time added
2011-06-04 13:46:07

Similar books