ISILC Proof Theory Symposion dedicated to Kurt SchuÃŒÂ(tte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 edited by J. Diller and G. H. Muller
Series: Lecture notes in mathematics ; 500 | Lecture notes in mathematics (Springer-Verlag)Publication details: Berlin New York Springer-Verlag c1975Description: viii, 383 p 25 cmISBN:- 038707533X (New York)
- 354007533X (Berlin)
- 510/.8 s 511/.3
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Carti | IMAR | 510/.8 S 511/.3-XXX-7 (Browse shelf(Opens below)) | Available | 0032534 |
Text in English or German
Cuprinde bibliografie pe capitole
There are no comments on this title.
Log in to your account to post a comment.