|
|
|
|
| LEADER |
00860nam#a2200277#a#4500 |
| 001 |
OEOCON009318 |
| 003 |
OEO |
| 005 |
20170331153641 |
| 008 |
891018s1956 xxu|||| ||||||||| ||eng d |
| 040 |
# |
# |
|a OEO
|b spa
|c OEO
|
| 080 |
# |
# |
|a 517.1=2
|
| 092 |
# |
# |
|c 517.1=2 G561 v.1
|
| 100 |
0 |
# |
|a Church, Alonzo,
|d 1903-
|
| 245 |
1 |
0 |
|a Introduction to mathematical logic.
|
| 260 |
# |
# |
|a Princeton, New Jersey :
|b Princeton University Press,
|c 1956.
|
| 300 |
# |
# |
|a ix, 378 p. ;
|c 24 cm.
|
| 490 |
# |
# |
|a Princeton Mathematical series ;
|v 17
|
| 500 |
# |
# |
|a Ejercicios al final de cada capítulo
|
| 500 |
# |
# |
|a Notas de pie de página.
|
| 653 |
# |
# |
|a lógica matemática
|
| 653 |
# |
# |
|a cálculo proposicional
|
| 653 |
# |
# |
|a funciones
|
| 653 |
# |
# |
|a axiomas
|
| 907 |
# |
# |
|a Monograf
|
| 952 |
# |
# |
|f D
|g A 0,01
|p OEO15222
|t v.1 ej.1
|a OEO
|b OEO
|o 517.1=2 G561 V.1
|5 2
|y IMP
|w 19891018
|
| 999 |
# |
# |
|a CASCALLARES
|
