TY - BOOK AU - Kleene,Stephen Cole TI - The foundations of intuitionistic mathematics: especially in relation to recursive functions U1 - 510.1 PY - 1965/// CY - Amsterdam PB - North-Holland KW - FUNCIONES RECURSIVAS KW - MATEMATICAS ER -