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 /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: ISILC Proof Theory Symposion University of Kiel
Άλλοι συγγραφείς: Schütte, K. (Kurt) (συγγραφέας.), Diller, Justus (επιμελητής.), Müller, G. H. 1923- (Gert Heinz) (επιμελητής.)
Μορφή: Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:English
German
Έκδοση: Berlin ; New York : Springer-Verlag, 1975.
Σειρά:Lecture notes in mathematics (Springer-Verlag) 500.
Θέματα:
Περιγραφή
Περιγραφή τεκμηρίου:
Φυσική περιγραφή:viii, 383 σ. ; 25 εκ.
Βιβλιογραφία:Περιλαμβάνει βιβλιογραφία.
ISBN:038707533X
354007533X