The Foundations of intuitionistic mathematics; especially in relation to recursive functions
Autor principal: | Kleene, Stephen Cole |
---|---|
Otros Autores: | Vesley, Richard Eugene |
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Amsterdam
North-Holland
1965
|
Materias: |
Ejemplares similares
-
The foundations of intuitionistic mathematics: especially in relation to recursive functions /
por: Kleene, Stephen Cole 1909-, et al.
Publicado: (1965) -
Intuitionism; an introduction
por: Heyting, A.
Publicado: (1971) -
Intuitionistic logic model theory and forcing
por: Fitting, Melvin Chris
Publicado: (1969) -
Logic, sets, and recursion /
por: Causey, Robert L.
Publicado: (2006) -
Metamathematical investigation of intuitionistic arithmetic and analysis
por: Troelstra, Anne Sjerp 1939-
Publicado: (1964)