Загрузка...
Metamathematics, machines and Godel's proof.
| Главный автор: | |
|---|---|
| Формат: | Printed Book |
| Язык: | English |
| Опубликовано: |
Cambridge:
Cambridge University Press,
1994.
|
| Предметы: |
| LEADER | 00522nam a22001577a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 008 | 101005t xxu||||| |||| 00| 0 eng d | ||
| 080 | |a 510.6 |b SHA | ||
| 100 | |a Shankar, N |9 7951 | ||
| 245 | |a Metamathematics, machines and Godel's proof. |c N. Shankar | ||
| 260 | |a Cambridge: |b Cambridge University Press, |c 1994. | ||
| 300 | |a xv, 202p. | ||
| 653 | |a Godel;s theorem. | ||
| 942 | |c BK |6 _ | ||
| 999 | |c 220804 |d 220804 | ||
| 952 | |0 0 |1 0 |4 0 |6 5106_SHA |7 0 |9 285648 |a MAT |b MAT |d 2010-10-05 |o 510.6 SHA |p MAT06282 |r 2010-10-05 |t 1 |w 2010-10-05 |y BK | ||