Logic in the writings of Brouwer and Heyting. In Atti del Convegno Internazionale di Storia della Logica (1982)

by A S Troelstra
Venue:San Gimignano