A decision method for elemantary algebra and goemetry
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Berkeley :
University of California Press,
1951
|
| Έκδοση: | 2d ed., rev |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 1/96868 | ||
| 008 | 081107s1951 eng d | ||
| 035 | |l 10101502 | ||
| 040 | |a GR-MY-UA |b gre |e aacr | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 511.35 |2 (22) | |
| 100 | 1 | |a Tarski, Alfred. | |
| 245 | 1 | 2 | |a A decision method for elemantary algebra and goemetry / |c by Alfred Tarski ; prepared for publication with the assistance of J.C.C. McKinsey |
| 250 | |a 2d ed., rev | ||
| 260 | |a Berkeley : |b University of California Press, |c 1951 | ||
| 300 | |a iii, 63 σ.; |c 28 εκ. | ||
| 504 | |a Βιβλιογραφία: 59-60 | ||
| 650 | 0 | 0 | |a Recursive functions. |
| 650 | 0 | 0 | |a Gödel's theorem. |
| 852 | |a INST |b SAMOS |c MAG |e 20081107 |h 511.35 TAR |p 005300029702 |q 005300029702 |t BK |y 0 | ||
| 901 | |a BIBL3-2008-3 | ||
| 909 | |a Σ |b 155278 | ||
| 970 | |a ΣΙΤΖΙΜΗ |b ΓΙΑΣΕΜΗ |z 2008/11/07 | ||