Logic And Foundations Of Mathematics Dedicated to Prof. A. Heyting on His 70th BirthdayVan Dalen, D., Et al, Editors · First published 1968Open the Tome
