The Foundations of intuitionistic mathematics; especially in relation to recursive functions

Detalles Bibliográficos
Autor principal: Kleene, Stephen Cole
Otros Autores: Vesley, Richard Eugene
Formato: Libro
Lenguaje:English
Publicado: Amsterdam North-Holland 1965
Materias:
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