Artifact Details

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

Lot Number

X5687.2010