Title
Beweistheorie [Proof theory]
Catalog Number
102719733
Type
Document
Date
1960
Author
Schuite, Kurt
Publisher
Springer-Verlag
Category
Book
Collection Title
Herbert Stoyan collection on LISP programming
Series Title
Books
Credit
Gift of Herbert Stoyan
