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: 1968
Place of publication: Groningen
Language: eng
Number of pages: 252
Subjects: Heyting, A. -- 1898-; Logic, Symbolic and mathematical
Notes: "Also published as Compositio mathematica, volume 20."

Includes bibliographies.