Metamathematics of First-Order Arithmetic Petr Háyek, Pavel Pudlák
Por: HAYEK, Petr.
Colaborador(es): PUDLAK, Pavel.
Series Perspectives in Mathematical Logic.Editor: Berlin Springer 1998Descripción: xiv, 460 p. 24 cm.ISBN: 3-540-63648-X.Tema(s): metamática Logica matematica teoria conjuntos| Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|
Libros
|
Biblioteca Estudio Teológico Agustiniano de Valladolid Fondo General | 510.2 H 32 P Met (Navegar estantería) | 199470 | Disponible |
Navegando Biblioteca Estudio Teológico Agustiniano de Valladolid Estantes , Ubicación: Fondo General Cerrar el navegador de estanterías
|
|
|
|
No hay imagen de cubierta disponible | No hay imagen de cubierta disponible |
|
||
| 510.2 B 27 Y Not Set Theory | 510.2 B49 P Axi Axiomatic set theory / | 510.2 F 42 J Nac El nacimiento de la teoría de conjuntos 1854-1908 | 510.2 H 32 P Met Metamathematics of First-Order Arithmetic | 510.2 J64P Not Notes Logic and Set Theory | 510.2 J97 W Dis Discovering Modern Set Theory | 510.2 K 13 A Hig The Higher Infinite |
No hay comentarios para este ejemplar.