Metamathematics of first-order arithmetic /

Bibliographic Details
Main Author: Hájek, Petr
Other Authors: Pudlák, Pavel
Format: Book
Language:English
Published: Berlin : Springer, 1998.
Subjects:

MARC

LEADER 00000nam a2200000 4500
001 050062
003 AR-CdUFF
005 20150731112915.0
008 050223s1998____gw-||||||||||||||||engld
020 |a 354063648 
040 |a AR-CdUFF 
041 1 |a eng 
080 |a 510.21 
100 1 |a Hájek, Petr 
245 1 0 |a Metamathematics of first-order arithmetic /   |c Petr Hájek, Pavel Pudlák. 
260 |a Berlin :   |b Springer,   |c 1998. 
300 |a 460 p. ;   |c 24 cm. 
504 |a Bibliografía: p. 409-453 
650 4 |a MATEMATICAS 
650 4 |a ARITMETICA 
650 4 |a LOGICA MATEMATICA 
650 4 |a FILOSOFIA DE LAS MATEMATICA 
700 1 |a Pudlák, Pavel 
942 |c LIBRO 
910 |a 510.21 H 154 
923 |d 11/12/99 
500 |a Area Filosofía 
952 |0 0  |1 0  |3 rustica  |4 0  |6 510_210000000000000_H_154  |7 0  |9 68619  |a FFYH  |b FFYH  |c Humanidades  |d 2008-02-22  |e Compra FOMEC  |l 0  |o 510.21 H 154  |p 046288  |r 2009-06-29  |w 2009-06-29  |y LIBRO 
960 |a Corresponde a: Filosofia 
999 |c 53769  |d 53769