@article{1183354835,
author = {Church, Alonzo},
title = {Review: A. Heyting, The Development of Intuitionistic Mathematics},
journal = {J. Symbolic Logic},
volume = {2},
number = {2},
year = {1937},
language = {en},
url = {http://dml.mathdoc.fr/item/1183354835}
}
Church, Alonzo. Review: A. Heyting, The Development of Intuitionistic Mathematics. J. Symbolic Logic, Tome 2 (1937) no. 2, . http://gdmltest.u-ga.fr/item/1183354835/