Logic in the writings of Brouwer and Heyting, in: Atti del Convegno Internazionale di Storia della Logica, San Gimignano, 4-8 dicembre 1982, edited by (1983)

by A S Troelstra
Venue:V.M Abrusci, E. Casari, M. Mugnai, Cooperativa Libraria Universitaria Editrice