Publié le : 1935-07-15
Classification:
@article{1183498289,
author = {Church, Alonzo},
title = {Review: A. Heyting, Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie},
journal = {Bull. Amer. Math. Soc.},
volume = {41},
number = {12},
year = {1935},
pages = { 476-477},
language = {en},
url = {http://dml.mathdoc.fr/item/1183498289}
}
Church, Alonzo. Review: A. Heyting, Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Bull. Amer. Math. Soc., Tome 41 (1935) no. 12, pp. 476-477. http://gdmltest.u-ga.fr/item/1183498289/