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; Wolters-Noordhoff series of monographs and textbooks on pure and applied mathematics
Publisher: Wolters-Noordhoff Publishing
Published: 1968
Place of publication: Groningen, The Netherlands
Number of pages: 248
Subjects: Heyting, A. -- 1898-; Logic, Symbolic and mathematical
Notes: Also published as Compositio mathematica, volume 20.

Includes bibliographies.