Heinz-Dieter Ebbinghaus, Jörg Flum, and Wolfgang Thomas. Einführung in die mathematische Logik. Die Mathematik. Wissenschaftliche Buchgesellschaft, Darmstadt1978, ix + 288 pp. - H.-D. Ebbinghaus, J. Flum, and W. Thomas. Mathematical logic. Revised English translation by Ann S. Ferebee of the preceding. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, and Tokyo, 1984, ix + 216 pp. - Heinz-Dieter Ebbinghaus, Jörg Flum, and Wolfgang Thomas. Einführung in die mathematische Logik. Second edition. Die Mathematik. Wissenschaftliche Buchgesellschaft, Darmstadt1986, ix + 308 pp. - H.-D. Ebbinghaus, J. Flum, and W. Thomas. Mathematical logic. Second edition. Revised English translation by Ann S. Ferebee and Margit Meßmer of the preceding. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1994, x + 289 pp.

Journal of Symbolic Logic ◽

10.2307/2275773 ◽

1995 ◽

Vol 60 (3) ◽

pp. 1013-1014

Author(s):

Steffen Lempp

Keyword(s):

New York ◽

Mathematical Logic ◽

English Translation

Download Full-text

Bruno Poizat. A course in model theory. An introduction to contemporary mathematical logic. English translation by Moses Klein of JSL LVIII 1074. Universitext. Springer, New York, Berlin, Heidelberg, etc., 2000, xxxi + 443 pp.

Bulletin of Symbolic Logic ◽

10.2307/2687797 ◽

2001 ◽

Vol 7 (4) ◽

pp. 521-522

Author(s):

Gregory Cherlin

Keyword(s):

New York ◽

Mathematical Logic ◽

Model Theory ◽

English Translation

Download Full-text

Abram Aronovich Stolyar. Introduction to elementary mathematical logic. English translation edited by Elliot; Mendelson of Eléméntarnoé vvédénié v matématičéskuú logiku. The MIT Press, Cambridge, Mass., and London, © 1970, pub. 1971, and Dover Publications, New York 1983, vii + 209 pp.

Journal of Symbolic Logic ◽

10.2307/2274045 ◽

1986 ◽

Vol 51 (3) ◽

pp. 830-831

Author(s):

Diane Resek

Keyword(s):

New York ◽

Mathematical Logic ◽

English Translation

Download Full-text

Ronald Fagin. Probabilities on finite models. The journal of symbolic logic, vol. 41 (1976), pp. 50–58. - Ú. V. Glébskij, D. I. Kogan, M. I. Liongon'kij, and V. A. Talanov. Obém i dolá vypolnimosti formul uzkogo isčisléniá prédikatov. Kibérnétika (Kiev), no. 2 (1969), pp. 17–27. - Yu. V. Glebskii, D. I. Kogan, M. I. Liogon′kii, and V. A. Talanov. Range and degree of realizability of formulas in the restricted predicate calculus. English translation of the preceding. Cybernetics (New York), vol. 5 (for 1969, pub. 1972), pp. 142–154. - James F. Lynch. Almost sure theories. Annals of mathematical logic, vol. 18 (1980), pp. 91–135. - V. L. Murskij. Konéčnaá baziruémost′ toždéstv i drugié svojstva “počti vséh” konéčnyh algébr (A finite basis of identities and other properties of “almost all” finite algebras). Problémy kibérnétiki, vol. 30 (1975), pp. 43–56. - Roy O. Davies. On n-valued Shejfer functions. Zeitschrift für mathematische Logik and Grundlagen der Mathematik, vol. 25 (1979), pp. 293–298.

Journal of Symbolic Logic ◽

10.2307/2273995 ◽

1985 ◽

Vol 50 (4) ◽

pp. 1073-1076 ◽

Author(s):

W. Taylor

Keyword(s):

New York ◽

Mathematical Logic ◽

English Translation ◽

Finite Basis ◽

Predicate Calculus ◽

Symbolic Logic ◽

Basis Of Identities ◽

Finite Algebras ◽

Finite Models ◽

Download Full-text

Ú. V. Matiásévič Dvé rédukcii 10-j problémy Gilbérta. 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. 144–158. - Yu. V. Matiyasevich. Two reductions of Hilbert's tenth problem. 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. 68–74.

Journal of Symbolic Logic ◽

10.2307/2272761 ◽

1972 ◽

Vol 37 (3) ◽

pp. 604-605

Author(s):

Ann S. Ferebee

Keyword(s):

New York ◽

Mathematical Logic ◽

English Translation ◽

Mathematical Institute ◽

Steklov Mathematical Institute ◽

Constructive Mathematics ◽

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem

Download Full-text

Outline of an Introduction to Mathematical Logic I

Canadian Mathematical Bulletin ◽

10.4153/cmb-1958-007-0 ◽

1958 ◽

Vol 1 (1) ◽

pp. 41-54

Author(s):

Abraham Robinson

Keyword(s):

New York ◽

Mathematical Logic ◽

English Translation ◽

First Order ◽

The Subject ◽

This is the first of (presumably) three articles on the subject mentioned in the title. The exposition is based on a course of fifteen lectures which formed part of the Edmonton (1957) Seminar of the Canadian Mathematical Congress. Limitations of space (and, originally, of time) compel us to be selective in two directions. First, while we shall refer to other branches of logic in passing, we shall be concerned principally with the two fundamental calculi - of propositions and of predicates (of the first order). Thus, except for a number of modern developments which are included here, our exposition will be similar in scope, though not in detail, to the first and third chapters of the well-known "Principles of Mathematical Logic" by D. Hilbert and W. Ackermann (English translation, Chelsea, New York, 1950) and this was in fact the recommended text for the Edmonton course. However, there exists a growing number of other good introductions to the field and some of these will be listed later.

Download Full-text

Ú. V. Matiásévič. Sváz' sistém uravnénij v slovah i dlinah s 10-j problémoj Gllbérta. 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. 132–144. - Yu. V. Matiyasevich. The connection between Hilbert's tenth problem and systems of equations between words and lengths. 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-London1970, pp. 61–67. See Errata, Studies in constructive mathematics and mathematical logic, Part III, ibid., vol. 16, Consultants Bureau, New York-London 1971, p. 96.

Journal of Symbolic Logic ◽

10.2307/2272760 ◽

1972 ◽

Vol 37 (3) ◽

pp. 604-604

Author(s):

Ann S. Ferebee

Keyword(s):

New York ◽

Mathematical Logic ◽

English Translation ◽

Mathematical Institute ◽

Steklov Mathematical Institute ◽

Constructive Mathematics ◽

Systems Of Equations ◽

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem

Download Full-text

Daniel Ponasse. Mathematical logic. English translation of XXXV 579. Gordon and Breach Science Publishers, New York, London, and Paris, 1973, ix +126 pp.

Journal of Symbolic Logic ◽

10.2307/2272402 ◽

1976 ◽

Vol 41 (4) ◽

pp. 790-791

Author(s):

Alfred Horn

Keyword(s):

New York ◽

Mathematical Logic ◽

English Translation

Download Full-text

G. É. Minc. Dizúnktivnaá intérprétaciá isčisléniá LJ. 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. 182–188. - G. E. Mints. Disjunctive interpretation of the LJ calculus. 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-London1970, pp. 86–89.

Journal of Symbolic Logic ◽

10.2307/2269983 ◽

1971 ◽

Vol 36 (3) ◽

pp. 527-528 ◽

Author(s):

J. van Heijenoort

Keyword(s):

New York ◽

Mathematical Logic ◽

English Translation ◽

Mathematical Institute ◽

Steklov Mathematical Institute ◽

Constructive Mathematics

Download Full-text

Hans Hermes. Introduction to mathematical logic. English translation of XXXVIII 518 by Diana Schmidt. Springer-Verlag, New York, Heidelberg, and Berlin, 1973, XI + 242 pp.

Journal of Symbolic Logic ◽

10.2307/2273370 ◽

1980 ◽

Vol 45 (1) ◽

pp. 187-188

Author(s):

Don Pigozzi

Keyword(s):

New York ◽

Mathematical Logic ◽

English Translation

Download Full-text

Ú. 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.

Journal of Symbolic Logic ◽

10.2307/2272762 ◽

1972 ◽

Vol 37 (3) ◽

pp. 605-605

Author(s):

Ann S. Ferebee

Keyword(s):

New York ◽

Mathematical Logic ◽

English Translation ◽

Mathematical Institute ◽

Steklov Mathematical Institute ◽

Constructive Mathematics

Download Full-text