Ershov Yuri L.. Definability and computability. English translation of Opredelimost′ i vychislimost′. Siberian school of algebra and logic. Consultants Bureau, New York, London, and Moscow, 1996, xiv + 264 pp [Book Review]

Journal of Symbolic Logic 63 (2):747-748 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2586863

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Mikhail G. Peretyat'Kin. Finitely axiomatizable theories. English translation of Konechno aksiomatiziruemye teorii. Siberian school of algebra and logic. Consultants Bureau, New York, London, and Moscow, 1977, xiv + 294 pp. [REVIEW]Vivienne Morley - 1999 - Journal of Symbolic Logic 64 (4):1828-1830.
Sergei S. Goncharov. Countable Boolean algebras and decidability. English translation of Schetnye bulevy algebry i razreshimost′. Siberian school of algebra and logic. Consultants Bureau, New York, London, and Moscow, 1997, xii + 318 pp. [REVIEW]Valentina Harizanov - 1998 - Journal of Symbolic Logic 63 (3):1188-1190.
Review: Yuri L. Ershov, Definability and Computability. [REVIEW]Ivan Soskov - 1998 - Journal of Symbolic Logic 63 (2):747-748.
Yuri V. Matiyasevich. Hilbert's tenth problem. English translation of Desyataya problema Gil'berta, with a foreword by Martin Davis. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1993, xxii + 264 pp. [REVIEW]C. Dimitracopoulos - 1997 - Journal of Symbolic Logic 62 (2):675-677.
Yu. L. Ershov and E. A. Palyutin. Mathematical logic. Revised English translation by Vladimir Shokurov of the preceding. Mir Publishers, Moscow1984, 303 pp. [REVIEW]Elliott Mendelson - 1986 - Journal of Symbolic Logic 51 (3):829-829.
Yuriĭ L. Ershov. Opredelimost′ i rychislimost′. Russian original of the preceding. Sibirskaya shkola algebry i logiki. Nauchnaya Kniga, Novosibirsk1996, 300 pp. - Richard Lassaigne and Michel de Rougemont. Logique et complexité. Collection informatique. Hermès, Paris1996, viii + 322 pp. [REVIEW]Denis Therien - 1998 - Journal of Symbolic Logic 63 (2):748-748.
Kelley John L.. General topology. D. van Nostrand Company, Inc., New York, Toronto, and London, 1955, xiv + 298 pp. [REVIEW]Francis P. Larkin - 1962 - Journal of Symbolic Logic 27 (2):235-235.
Daniel Ponasse. Mathematical logic. English translation of XXXV 579. Gordon and Breach Science Publishers, New York, London, and Paris, 1973, ix +126 pp. [REVIEW]Alfred Horn - 1976 - Journal of Symbolic Logic 41 (4):790-791.
Ú. V. Matiásévič Arifmétičéskié prédstavléniá stépénéj. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 159–165. - Yu. V. Mattyasevich. Arithmetic representations of powers. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, pp. 75–78. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):605.
Barwise Jon. Admissible sets and structures. An approach to definability theory. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, XIV + 394 pp. [REVIEW]Mark Nadel - 1978 - Journal of Symbolic Logic 43 (1):139-144.

Analytics

Added to PP
2016-06-30

Downloads
22 (#700,182)

6 months
2 (#1,448,741)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references