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.
Θέματα:

Παρόμοια τεκμήρια