@book
{TN_libero_mab2,
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
}
}