|
|
|
|
LEADER |
00793nam a2200229 a 4500 |
001 |
000000016117 |
003 |
OSt |
005 |
20150925141817.0 |
008 |
150925b xxu||||| |||| 00| 0 eng d |
040 |
|
|
|a Sistema de Bibliotecas UNAH
|
082 |
0 |
|
|a 511.2-K63
|
100 |
1 |
|
|a Kleene, Stephen Cole
|
245 |
1 |
4 |
|a The Foundations of intuitionistic mathematics; especially in relation to recursive functions
|c Stephen Cole Kleene, Richard Eugene Vesley
|
260 |
|
|
|c 1965
|a Amsterdam
|b North-Holland
|
300 |
|
|
|a 206 p.
|
504 |
|
|
|a Bibliografía: p. 187-199
|
650 |
|
4 |
|a LÓGICA MATEMÁTICA
|
650 |
|
4 |
|a INTUICIONISMO (MATEMÁTICAS)
|
700 |
1 |
|
|a Vesley, Richard Eugene
|
942 |
|
|
|2 ddc
|c LB
|
999 |
|
|
|c 16117
|d 16117
|
952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 511_000000000000000_2K63
|7 0
|9 46256
|a CG
|b BC
|l 0
|o 511.2-K63
|p 270065
|y LB
|