Metamathematics, machines, and Gödel's proof / N. Shankar.
Saved in:
Main Author: | |
---|---|
Format: | Book |
Language: | English |
Published: |
Cambridge :
Cambridge University Press,
1997.
|
Series: | Cambridge tracts in theoretical computer science ;
38 |
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
LEADER | 00000nam a2200000 450 | ||
---|---|---|---|
001 | 001077429 | ||
005 | 20180201122629.0 | ||
008 | 031108r19971994enk eng b | ||
020 | |a 0521585333 | ||
082 | 0 | 4 | |a 511.3 |2 20 |
089 | |a 511.3 | ||
100 | 1 | |a Shankar, N. | |
245 | 1 | 0 | |a Metamathematics, machines, and Gödel's proof / |c N. Shankar. |
260 | |a Cambridge : |b Cambridge University Press, |c 1997. | ||
300 | |a xv, 202p : |b ( pbk ) ; |c 25cm. | ||
490 | 0 | |a Cambridge tracts in theoretical computer science ; |v 38 | |
500 | |a Originally published: 1994 | ||
650 | 0 | 0 | |a Logic, Symbolic and mathematical |
650 | 0 | 0 | |a Proof theory |x Computer programs |
952 | |0 0 |1 0 |4 0 |6 511_300000000000000_SHA |7 0 |9 686595 |a PILKINGTON |b PILKINGTON |c MAIN |d 2004-11-12 |g 19.91 |l 2 |o 511.3/SHA |p 0402969952 |r 2011-04-13 00:00:00 |w 2018-02-01 |y LONG | ||
999 | |c 421278 |d 421278 |