Logic and foundations of mathematics.
Subtitle: Dedicated to A. Heyting on his 70th birthday.
Contributors: Heyting, Arend, 1898-
Series: [Noordhoff series of monographs and textbooks on pure and applied mathematics]
Publisher: Wolters-Noordhoff
Published: 1968
Place of publication: Groningen
Language: eng
Number of pages: 248
Subjects: Heyting, Arend, 1898-; Logic, Symbolic and mathematical
Notes: "Also published as Compositio mathematica, volume 20."  Includes bibliography.