ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and logic Colloquium, Kiel 1974
Αποθηκεύτηκε σε:
| Συλλογικό Έργο: | , |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Πρακτικό Συνεδρίου Βιβλίο |
| Γλώσσα: | English German |
| Δημοσίευση: |
Berlin :
Springer-Verlag,
1975.
|
| Σειρά: | Lecture notes in mathematics (Springer-Verlag)
500 |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 1/59302 | ||
| 008 | 941103s1975 gw | ||| |||| ||eng|| | ||
| 020 | |a 354007533X | ||
| 035 | |a 1993 |l 10046057 | ||
| 040 | |a GR-MyUa |b gre |e AACR2 | ||
| 041 | 1 | |a eng |h ger | |
| 082 | 7 | |a 511.3 |2 (22) | |
| 111 | 2 | |a ISILC Proof Symposion |d (1974 : |c Kiel) | |
| 245 | 1 | 0 | |a ISILC proof theory symposion : |b dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and logic Colloquium, Kiel 1974 / |c edited by J. Diller and G.H. Muller. |
| 260 | |a Berlin : |b Springer-Verlag, |c 1975. | ||
| 300 | |a viii, 383 σ. ; |c 25 εκ. | ||
| 490 | 1 | |a (Lecture notes in mathematics / Springer-Verlag ; |v 500) | |
| 500 | |a Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο. | ||
| 600 | 1 | 0 | |a Schutte, K. |q (Kurt) |x Bibliography. |
| 650 | 0 | 0 | |a Proof theory |x Congresses. |
| 700 | 1 | |a Diller, Justus, |e edt | |
| 700 | 1 | |a Müller, G. H. |q (Gert Heinz), |d 1923-2006, |e edt | |
| 711 | 2 | |a International Summer Institute and Logic Colloquium |d (1974 : |c University of Kiel) | |
| 830 | 0 | |a Lecture notes in mathematics (Springer-Verlag) |v 500 | |
| 852 | |a INST |b SAMOS |e 19941103 |h 511.3 ISI |p 005300008147 |q 005300008147 |t BK |y 0 | ||