Proof theory
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Mineola, N.Y. :
Dover Publications,
2013
|
| Έκδοση: | 2η εκδ. |
| Σειρά: | Dover books on mathematics
|
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 1/68825 | ||
| 008 | 150319s2013 eng d | ||
| 020 | |a 978-0-486-49073-1 | ||
| 035 | |l 10121428 | ||
| 040 | |a GR-MY-UA |b gre |e aacr | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 511.36 |2 (23) | |
| 100 | 1 | |a Takeuti, Gaisi |d 1926- | |
| 245 | 1 | 0 | |a Proof theory / |c Gaisi Takeuti |
| 250 | |a 2η εκδ. | ||
| 260 | |a Mineola, N.Y. : |b Dover Publications, |c 2013 | ||
| 300 | |a x, 490 σ.; |c 23 εκ. | ||
| 490 | 1 | |a Dover books on mathematics | |
| 504 | |a Βιβλιογραφία: σ.481-485. Ευρετήριο | ||
| 650 | 0 | 0 | |a Proof theory. |
| 830 | 0 | |a Dover books on mathematics | |
| 852 | |a INST |b SAMOS |e 20150319 |h 511.36 TAK |p 005300041999 |q 005300041999 |t BK |y 0 | ||
| 901 | |a BIBL3-2015-1 | ||
| 909 | |a Σ |b 192021 | ||
| 922 | |a 3ΕΛΗ |b 201501 |c ΜΕΤΑΠΤΥΧΙΑΚΟ/ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ |d ΔΡΕΣ | ||
| 970 | |a ΚΟΣΙΕΡΗΣ |b ΧΡΗΣΤΟΣ |z 2015/03/19 | ||