|
|
|
|
| LEADER |
00751nam a2200229 u 4500 |
| 001 |
000424726 |
| 005 |
20110720143301.0 |
| 008 |
s1964 s1964 fs ||||| eng |
| 035 |
|
|
|a 133291
|
| 040 |
|
|
|a Sistema de Bibliotecas de Universidad de Costa Rica
|
| 041 |
0 |
|
|a eng
|
| 082 |
0 |
|
|a 510.1
|b M916s
|2 21
|
| 100 |
1 |
|
|a Mostowski, Andrzej
|e Autor/a
|4 aut
|
| 245 |
1 |
0 |
|a Sentences undecidable in formalized arithmetic :
|b an exposition of the theory of Kurt Gödel
|
| 260 |
|
|
|a Amsterdam :
|b North-Holland Pub. Co.,
|c 1964.
|
| 300 |
|
|
|a 117 páginas
|
| 650 |
|
|
|a LOGICA, SIMBOLICA Y MATEMATICA
|
| 650 |
|
|
|a SEMANTICA (FILOSOFIA)
|
| 650 |
|
|
|a TEOREMA DE GODEL
|
| 912 |
|
|
|a 20-JUL-2011 - QUIROS SALAZAR, DANILO
|
| 949 |
|
|
|a -LQ-BGA
|
| 916 |
|
|
|a Reconversión
|