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

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

scholarly journals Outline of an Introduction to Mathematical Logic I

1958 ◽  
Vol 1 (1) ◽  
pp. 41-54
Author(s):  
Abraham Robinson
Keyword(s):  
New York ◽  
Mathematical Logic ◽  
English Translation ◽  
First Order ◽  
The Subject ◽  
Formed Part

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.

Sign in / Sign up

Export Citation Format

Share Document