Heyting, A
Logic and foundations of Mathematics Dedicated to A. Heyting on his 70th birthday - Netherlands Wolters-Noordhoff 1968 - 248p - Noordhoff series of monographs and textbooks on pure and applied mathematics .
"Also published as Compositio mathematica, volume 20."
Logic, Symbolic and mathematical
510.6 / HEY
Logic and foundations of Mathematics Dedicated to A. Heyting on his 70th birthday - Netherlands Wolters-Noordhoff 1968 - 248p - Noordhoff series of monographs and textbooks on pure and applied mathematics .
"Also published as Compositio mathematica, volume 20."
Logic, Symbolic and mathematical
510.6 / HEY