Recursive equivalence types /

por Dekker, Jacob C.E. 1921 -, Dekker, Jacob C.E. 1921 -, Myhill, J.
Publicado 1960

Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. /

por Kino, A., Kino, A.
Publicado 1970