Loading…

Metamathematics, machines, and Gödel's proof / N. Shankar.

Saved in:
Bibliographic Details
Main Author: Shankar, N.
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