author = { Dalen, Dirk van AND Heyting, Arend },

title = { Logic and foundations of mathematics dedicated to Prof. A. Heyting on his 70. birthday },

publisher = {Wolters-Noordhoff},

keywords = { Festschrift , Logik , Mathematik , Grundlage },

year = {1968},

abstract = {Ersch. auch als: Compositio Mathematica ; Vol. 20},

booktitle = {Noordhoff series of monographs and text- books on pure and applied mathematics},

address = { Groningen },

url = { https://katalog.slub-dresden.de/en/?cHash=a8fa44d3bda0cb9d524c2f0ab6715df9&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=0-1071587595&tx_find_find%5Btype%5D=bibtex }