Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "118611127"
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/760113017 |
| Art des Inhalts | Festschrift |
| Titel | Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65. birthday ; proceedings of the Internat. Summer Inst. and Logic Colloquium, Kiel 1974 / ed. by J. Diller and G. H. Müller |
| Person(en) |
Diller, Justus (Herausgeber) Schütte, Kurt (Gefeierter) |
| Organisation(en) |
Proof Theory Symposion (1974 : Kiel) (Verfasser) International Summer Institute and Logic Colloquium (1974 : Kiel) (Herausgebendes Organ) |
| Verlag | Berlin, Heidelberg, New York : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 1975 |
| Umfang/Format | VIII, 383 S. : 1 Ill. ; 25 cm |
| ISBN/Einband/Preis |
978-3-540-07533-2 (Berlin, Heidelberg, New York) kart. : DM 32.00 3-540-07533-X (Berlin, Heidelberg, New York) kart. : DM 32.00 978-0-387-07533-4 (New York, Heidelberg, Berlin) kart. 0-387-07533-X (New York, Heidelberg, Berlin) kart. |
| Beziehungen | Lecture notes in mathematics ; Vol. 500 |
| Anmerkungen |
Beitr. teilw. dt., teilw. engl. - Bibliogr. K. Schütte S. 1 - 3 u. Literaturangaben. - Auf d. Haupttitelseite auch: ISILC. Status nach VGG: lieferbar |
| Schlagwörter | Schütte, Kurt ; Beweistheorie ; Festschrift → Schütte, K. ; Beweistheorie (Mathematik) ; Schütte, Kurt / Festschriften |
| Sachgruppe(n) | 19a Mathematik |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: D 76/3921
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: SB 6788-500
Bereitstellung in Leipzig |

