Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. - Kino, A.; Myhill, J.; Vesley, Richard Eugene 1932- (Amsterdam : North Holland, 1970)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA