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