Intuitionism and proof theory / edición : A. Kino. - 516 páginas. . - Studies in logic and the foundations of mathematics . ISBN: 720422574 Subjects--Topical Terms: LOGICA MATEMATICA. Dewey Class. No.: 510.65[061.3]