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.

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 ◽  
Almost All

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.

R. Dalbiez. L'idée fondamentale de la combinatoire leibnizienne. Travaux du IXe Congrès International de Philosophie, VI Logique et mathématiques, Actualités scientifiques et industrielles 535, Hermann et Cie, Paris1937, pp. 3–7. - Thomas Greenwood. L'extension de la logique aristotélicienne. Travaux du IXe Congrès International de Philosophie, VI Logique et mathématiques, Actualités scientifiques et industrielles 535, Hermann et Cie, Paris1937, pp. 18–25. - Z. Zawtrski. Importance des recherches logiques et sémantiques pour les théories de la physique contemporaine. Travaux du IXe Congrès International de Philosophie, VI Logique et mathématiques, Actualités scientifiques et industrielles 535, Hermann et Cie, Paris1937, pp. 82–87. - Paulette Février. Les relations d'incertitude d'Heisenberg et la logique. Travaux du IXe Congrès International de Philosophie, VI Logique et mathématiques, Actualités scientifiques et industrielles 535, Hermann et Cie, Paris1937, pp. 88–94. [Cf. II 88.] - R. Catesby Taliaferro. Plato and the liberal arts: a plea for mathematical logic. The new scholasticism, vol. 11 (1937), pp. 297–319. - Arnold F. Emch. Deducibility with respect to necessary and impossible propositions. The journal of symbolic logic, vol. 2 (1937), pp. 78–81. - Garrett Birkhoff. Rings of sets. Duke mathematical journal, vol. 3 (1937), pp. 443–454. - N. H. McCoy and Deane Montgomery. A representation of generalized Boolean rings. Duke mathematical journal, vol. 3 (1937), pp. 455–459. - Gottfried Köthe. Die Theorie der Verbände, ein neuer Versuch zur Grundlegung der Algebra und der projektiven Geometrie. Jahresbericht der Deutschen Mathematiker-Vereinigung, vol. 47 (1937), 1. Abteilung, pp. 125–144. - Adolf Fraenkel. Review of Carnap's Logische Syntax der Sprache (35212). Scripta mathematica, vol. 4 (1936), pp. 309–312. - A. P. Ushenko. Review of Carnap's The logical syntax of language. The philosophical review, vol. 46 (1937), pp. 549–553. - L. G. Review of Waismann's Einführung in das mathematische Denken (II 142). Rivista di filosofia, vol. 28 (1937), pp. 283–285. - Wilhelm Ackermann. Review of Bentley's Linguistic analysis of mathematics (4611). Jahrbuch über die Fortschritte der Mathematik, vol. 58I no. 1 (for 1932, pub. 1937), pp. 56–57. - C. G. Hempel. Review of Carnap's Die Antinomien und die Unvollständigkeit der Mathematik (35214). Jahrbuch über die Fortschritte der Mathematik, vol. 60II no. 1 (for 1934, pub. 1936), pp. 843–844. - Wilhelm Ackermann. Review of Quine's A system of logistic (4585). Jahrbuch über die Fortschritte der Mathematik, vol. 60II no. 1 (for 1934, pub. 1936), pp. 845–846. - C. G. Hempel. Review of Quine's Toward a calculus of concepts (I 111). Jahrbuch über die Fortschritte der Mathematik, vol. 62I no. 1 (1936), pp. 35–36. - Th. Skolem. Review of Tarski's Grundzüge des Systemenkalküls (28518, I 71). Jahrbuch über die Fortschritte der Mathematik, vol. 62I no. 1 (1936), pp. 38–39. - Friedrich Bachmann. Reviews of Gentzen's Die Widerspruchsfreiheit der Stufenlogik (I 119) and Die Widerspruchsfreiheit der reinen Zahlentheorie (I 75). Jahrbuch über die Fortschritte der Mathematik, vol. 62I no. 1 (1936), pp. 43–44. - M. Kokoszyńska. Filozofia nauki w Kole Wiedeńskim (Philosophy of science in the Circle of Vienna). Kwartalnik filozoficzny, vol. 13, pp. 151–165, 181–194. - M. Kokoszyńska. Review of Carnap's Testability and meaning (II 49). Kwartalnik filozoficzny, vol. 14, pp. 55–61. - M. Black. Review of Gonseth's Les mathématiques et la réalité (II 45). Mind, n.s. vol. 46 (1937), pp. 538–539. - Review of Carnap's Testability and meaning, part 2 (II 49). Mind, n.s. vol. 46 (1937), p. 546. - Edward Gleason Spaulding. A world of chance, or Whence, whither, and why. The Macmillan Company, New York, 1936, xxxiii+293 pp. - R. Feys. Notions de logistique. Mimeographed. 1st. edn., privately circulated, Brussels 1936, vi+102 pp. 2nd. edn., revised, on sale by the Revue Néoscolastique, Louvain 1937.

1937 ◽  
Vol 2 (4) ◽  
pp. 175-176
Keyword(s):  
New York ◽  
Mathematical Logic ◽  
Philosophy Of Science ◽  
Liberal Arts ◽  
Linguistic Analysis ◽  
Mathematical Journal ◽  
Symbolic Logic ◽  
Duke Mathematical Journal ◽  
Logical Syntax ◽  
Boolean Rings
Sign in / Sign up

Export Citation Format

Share Document