⊨ISILC Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Book information

Publisher

Springer-Verlag Berlin Heidelberg

Year

1975

ISBN

978-3-540-07533-2, 978-3-540-38020-7

DOI

10.1007/BFb0079542

Language

english-german

Format

PDF

Filesize

5 MB (5437841 bytes)

Series

Lecture Notes in Mathematics 500

Edition

1

Pages

390\390

Orientation

yes

Scanned

yes

Time added

2013-08-01 04:00:00