John L. Pollock. Introduction to symbolic logic. Holt, Rinehart and Winston, Inc., New York, etc., 1969, xii + 241 pp.

1975 ◽  
Vol 40 (1) ◽  
pp. 101-101
Author(s):  
B. G. Hurdle
Keyword(s):  
New York ◽  
Symbolic Logic

R. A. Wollheim. F. H. Bradley. The revolution in philosophy, by A. J. Ayer, W. C. Kneale, G. A. Paul, D. F. Pears, P. F. Strawson, G. J. Warnock, and R. A. Wollheim, Macmillan & Co., London, and St. Martin's Press, New York, 1956, pp. 12–25. - R. A. Wollheim. F. H. Bradley. Spanish translation of the preceding by Montserrat Macao de Lledó. La revolución in filosofia, Biblioteca conocimiento del hombre, Revista de Occidente, Madrid1958, pp. 15–31. - G. A. Paul. G. E. Moore: Analysis, common usage, and common sense. La revolución in filosofia, Biblioteca conocimiento del hombre, Revista de Occidente, Madrid1958, pp. 56–69. - G. A. Paul. G. E. Moore: Análisis, uso común y sentido común. Spanish translation by Montserrat Macao de Lledó. La revolución in filosofia, Biblioteca conocimiento del hombre, Revista de Occidente, Madrid1958, pp. 69–86. - G. A. Paul. Wittgenstein. La revolución in filosofia, Biblioteca conocimiento del hombre, Revista de Occidente, Madrid1958, pp. 88–96. - G. A. Paul. Wittgenstein. Spanish translation by Montserrat Macao de Lledó. La revolución in filosofia, Biblioteca conocimiento del hombre, Revista de Occidente, Madrid1958, pp. 107–116. - G. J. Warnock. Analysis and imagination. La revolución in filosofia, Biblioteca conocimiento del hombre, Revista de Occidente, Madrid1958, pp. 111–126. - G. J. Warnock. Análisis e imaginación. Spanish translation by Montserrat Macao de Lledó. La revolución in filosofia, Biblioteca conocimiento del hombre, Revista de Occidente, Madrid1958, pp. 135–153. - Harold Newton Lee. Symbolic Logic. Random House, New York1961, ix + 356 pp.

1960 ◽  
Vol 25 (3) ◽  
pp. 262-263
Author(s):  
Alan Ross Anderson
Keyword(s):  
New York ◽  
Common Sense ◽  
Symbolic Logic ◽  
Spanish Translation ◽  
The Revolution

Jon Barwise and John Schlipf. On recursively saturated models of arithmetic. Model theory and algebra, A memorial tribute to Abraham Robinson, edited by D. H. Saracino and V. B. Weispfenning, Lecture notes in mathematics, vol. 498, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 42–55. - Patrick Cegielski, Kenneth McAloon, and George Wilmers. Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels. Logic Colloquium '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and London, 1982, pp. 57–68. - Julia F. Knight. Theories whose resplendent models are homogeneous. Israel journal of mathematics, vol. 42 (1982), pp. 151–161. - Julia Knight and Mark Nadel. Expansions of models and Turing degrees. The journal of symbolic logic, vol. 47 (1982), pp. 587–604. - Julia Knight and Mark Nadel. Models of arithmetic and closed ideals. The journal of symbolic logic, vol. 47 no. 4 (for 1982, pub. 1983), pp. 833–840. - Henryk Kotlarski. On elementary cuts in models of arithmetic. Fundamenta mathematicae, vol. 115 (1983), pp. 27–31. - H. Kotlarski, S. Krajewski, and A. H. Lachlan. Construction of satisfaction classes for nonstandard models. Canadian mathematical bulletin—Bulletin canadien de mathématiques, vol. 24 (1981), pp. 283–293. - A. H. Lachlan. Full satisfaction classes and recursive saturation. Canadian mathematical bulletin—Bulletin canadien de mathématiques, pp. 295–297. - Leonard Lipshitz and Mark Nadel. The additive structure of models of arithmetic. Proceedings of the American Mathematical Society, vol. 68 (1978), pp. 331–336. - Mark Nadel. On a problem of MacDowell and Specker. The journal of symbolic logic, vol. 45 (1980), pp. 612–622. - C. Smoryński. Back-and-forth inside a recursively saturated model of arithmetic. Logic Colloquium '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and London, 1982, pp. 273–278. - C. Smoryński and J. Stavi. Cofinal extension preserves recursive saturation. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7,1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 338–345. - George Wilmers. Minimally saturated models. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 370–380.

1987 ◽  
Vol 52 (1) ◽  
pp. 279-284
Author(s):  
J.-P. Ressayre
Keyword(s):  
New York ◽  
Model Theory ◽  
Foundations Of Mathematics ◽  
Symbolic Logic ◽  
Recursive Saturation ◽  
North Holland Publishing ◽  
Lecture Notes ◽  
Recursively Saturated ◽  
Satisfaction Classes ◽  
Models Of Arithmetic

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