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 |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|