Φορτώνει......
Completeness: compactness and undecidability: an introduction to mathematical logic
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Printed Book |
| Έκδοση: |
New Delhi, Prentice Hall of India
1978
|
| Θέματα: |
| LEADER | 005020000a22001450004500 | ||
|---|---|---|---|
| 082 | |a 511.3 L8 | ||
| 100 | |a Manaster, Alfred B | ||
| 245 | |a Completeness: compactness and undecidability: an introduction to mathematical logic | ||
| 260 | |a New Delhi, Prentice Hall of India | ||
| 260 | |c 1978 | ||
| 650 | |a Mathematical logic | ||
| 650 | |a Mathematics | ||
| 942 | |c BK | ||
| 999 | |c 131285 |d 131281 | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_L8 |7 0 |9 130221 |a SCP |b SCP |d 2014-02-11 |l 0 |o 511.3 L8 |p SCP01045 |r 2014-02-11 |w 2014-02-11 |y BK | ||