Review: A. G. Dragalin, Matematiceskij Intuicionizm. Vvedenie v Teoriu Dokazatel'stv; D. Deutsch, Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer
Urquhart, Alasdair
J. Symbolic Logic, Tome 55 (1990) no. 1, p. 1309-1310 / Harvested from Project Euclid
Publié le : 1990-09-14
Classification: 
@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/