Review: A. G. Dragalin, Matematiceskij Intuicionizm. Vvedenie v Teoriu Dokazatel'stv; D. Deutsch, Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer
@article{1183743426,
author = {Urquhart, Alasdair},
title = {Review: A. G. Dragalin, Matematiceskij Intuicionizm. Vvedenie v Teoriu Dokazatel'stv; D. Deutsch, Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer},
journal = {J. Symbolic Logic},
volume = {55},
number = {1},
year = {1990},
pages = { 1309-1310},
language = {en},
url = {http://dml.mathdoc.fr/item/1183743426}
}
Urquhart, Alasdair. Review: A. G. Dragalin, Matematiceskij Intuicionizm. Vvedenie v Teoriu Dokazatel'stv; D. Deutsch, Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer. J. Symbolic Logic, Tome 55 (1990) no. 1, pp. 1309-1310. http://gdmltest.u-ga.fr/item/1183743426/