@article{1183740355, author = {Blikle, Andrzej}, title = {Review: Zohar Manna, Mathematical Theory of Computation}, journal = {J. Symbolic Logic}, volume = {44}, number = {1}, year = {1979}, pages = { 122-124}, language = {en}, url = {http://dml.mathdoc.fr/item/1183740355} }
Blikle, Andrzej. Review: Zohar Manna, Mathematical Theory of Computation. J. Symbolic Logic, Tome 44 (1979) no. 1, pp. 122-124. http://gdmltest.u-ga.fr/item/1183740355/