@article{1183741988,
author = {Urquhart, Alasdair},
title = {Review: V. B. Sehtman, B. F. Wells, An Undecidable Superintuitionistic Propositional Calculus; S. V. Popov, Nondecidable Intermediate Calculus},
journal = {J. Symbolic Logic},
volume = {50},
number = {1},
year = {1985},
pages = { 1081-1083},
language = {en},
url = {http://dml.mathdoc.fr/item/1183741988}
}
Urquhart, Alasdair. Review: V. B. Sehtman, B. F. Wells, An Undecidable Superintuitionistic Propositional Calculus; S. V. Popov, Nondecidable Intermediate Calculus. J. Symbolic Logic, Tome 50 (1985) no. 1, pp. 1081-1083. http://gdmltest.u-ga.fr/item/1183741988/