Logic And Foundations Of Mathematics  Dedicated to Prof. A. Heyting on His 70th Birthday
Publisher: Wolters--Noordhoff Publishing--Groningen
Published: 1968-01-01