Cargando…

Metamathematics, machines, and Gödel's proof /

Detalles Bibliográficos
Autor principal: Shankar, N.
Formato: Libro
Lenguaje:English
Publicado: Cambridge ; New York : Cambridge University Press, 1994.
Colección:Cambridge tracts in theoretical computer science ; v.38
Materias:

MARC

LEADER 00000cam a22000002a 4500
001 ocm37209144
003 OCoLC
005 20141204200130.0
008 061024s1997 enk b 001 0 eng d
035 |a (Sirsi) i9780521585330 
040 |a LPU  |c LPU  |d PSM  |d BAKER 
020 |a 0521585333 
050 4 |a QA9.65  |b S42 
100 1 |a Shankar, N. 
245 1 0 |a Metamathematics, machines, and Gödel's proof /  |c N. Shankar. 
260 |a Cambridge ;  |a New York :  |b Cambridge University Press,  |c 1994. 
300 |a xv, 202 p. ;  |c 25 cm. 
490 0 0 |a Cambridge tracts in theoretical computer science ;  |v v.38 
504 |a Bibliografía: p. 189-196. 
590 |a Reimpr., 1997: MIA-X. 
650 4 |a Teorema de Gödel  |x Procesamiento de datos. 
901 |a Z0  |b UV# 
902 |a DGBUV 
596 |a 16 
942 |c LIBRO 
999 |c 200598  |d 200598