|
|
|
|
| LEADER |
00974nam a2200277 a 4500 |
| 001 |
13610 |
| 003 |
AR-LpUBP |
| 005 |
20250704183329.0 |
| 007 |
ta |
| 008 |
030612s1965 en g 100 0 eng d |
| 040 |
|
|
|a AR-LpUBP
|b spa
|c AR-LpUBP
|
| 080 |
|
|
|a 517.11
|
| 111 |
2 |
|
|a Logic colloquium
|c Oxford
|d 1963
|n 8
|9 13943
|
| 245 |
1 |
0 |
|a Formal systems and recursive functions; proceedings of the eighth logic colloquium
|
| 260 |
|
|
|a Amsterdam :
|b North Holland,
|c 1965.
|
| 300 |
|
|
|a 4 h. p., 320 p. ;
|c 23 cm.
|
| 490 |
0 |
|
|a Studies in logic and the foundations of mathematics
|
| 500 |
|
|
|a Bibliografía al final de capítulos
|
| 650 |
|
4 |
|a LOGICA MATEMATICA
|9 8510
|
| 700 |
1 |
|
|a Crossley, J. N.
|e ed.
|9 13944
|
| 700 |
1 |
|
|a Dummett, M. A. E.
|e ed.
|9 13945
|
| 942 |
|
|
|c BK
|
| 952 |
|
|
|0 0
|1 0
|2 udc
|4 0
|6 ME02523
|7 0
|9 20604
|a DUN
|b DUN
|c FG
|d 2023-07-10
|i 454998
|l 0
|o Me-02523
|p DUN454998
|r 2023-07-10 20:18:21
|w 2023-07-10
|y BK
|
| 999 |
|
|
|c 13610
|d 13610
|
| 988 |
|
|
|c 34
|d Miguel Kiperszmid
|
| 997 |
|
|
|z a
|