Loading...
Recursion theory for metamathematics.
| Main Author: | |
|---|---|
| Format: | Printed Book |
| Language: | English |
| Published: |
New York:
Oxford University Press,
1993.
|
| Subjects: |
| LEADER | 00536nam a22001577a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 008 | 101018t xxu||||| |||| 00| 0 eng d | ||
| 080 | |a 510.57 |b SMU | ||
| 100 | |a Smullyan, Raymond M. |9 8124 | ||
| 245 | |a Recursion theory for metamathematics. |c Raymond M. Smullyan | ||
| 260 | |a New York: |b Oxford University Press, |c 1993. | ||
| 300 | |a xiv, 163p. | ||
| 653 | |a Recursion theory. | ||
| 942 | |c BK |6 _ | ||
| 999 | |c 220955 |d 220955 | ||
| 952 | |0 0 |1 0 |4 0 |6 51057_SMU |7 0 |9 285842 |a MAT |b MAT |d 2010-10-18 |o 510.57 SMU |p MAT06284 |r 2010-10-18 |t 1 |w 2010-10-18 |y BK | ||