@article{1183741501,
author = {Veldman, Wim},
title = {Review: Peter Aczel, Seppo Miettinen, Jouko Vaananen, The Strength of Martin-Lof's Intuitionistic Type Theory with One Universe},
journal = {J. Symbolic Logic},
volume = {49},
number = {1},
year = {1984},
language = {en},
url = {http://dml.mathdoc.fr/item/1183741501}
}
Veldman, Wim. Review: Peter Aczel, Seppo Miettinen, Jouko Vaananen, The Strength of Martin-Lof's Intuitionistic Type Theory with One Universe. J. Symbolic Logic, Tome 49 (1984) no. 1, . http://gdmltest.u-ga.fr/item/1183741501/