67 found
Order:
  1.  30
    George F. Simmons. Introduction to Topology and Modern Analysis. McGraw-Hill Book Company, Inc., New York, San Francisco, Toronto, and London, 1963, Xv + 372 Pp. [REVIEW]Perry Smith - 1970 - Journal of Symbolic Logic 35 (4):592.
  2.  29
    John Myhill. Remarks on the Language of Physics. Philosophy of Science, Vol. 30 , Pp. 305–306. - H. G. Bohnert. Remarks on Myhill's Remarks on Coordinate Languages. Philosophy of Science, Vol. 30 , Pp. 307–308. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (1):178.
  3.  24
    Ştefan N. Berţi. Aplicaţii Ale Teoriei Relaţiilor in Logica Matematică . Studii Şi Cercetări Matematice, Vol. 21 , Pp. 3–11. [REVIEW]Perry Smith - 1970 - Journal of Symbolic Logic 35 (4):584.
  4.  19
    Spiess Wolfgang E. and Rheingans Friedrich G.. Einführung in das Programmieren in FORTRAN. Walter de Gruyter & Co, Berlin 1970, 195 pp. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):689.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  17
    Charles Hartshorne. Ten Ontological or Modal Proofs for God's Existence. The Logic of Perfection and Other Essays in Neoclassical Metaphysics, by Charles Hartshorne, The Open Court Publishing Company, La Salle, Illinois, 1962, Pp. 28–117. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):515.
  6.  17
    J. L. Bell and A. B. Slomson. Models and Ultraproducts: An Introduction. North-Holland Publishing Company, Amsterdam and London1969, IX + 322 Pp. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (4):763-764.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  16
    Scott Dana. Logic with Denumerably Long Formulas and Finite Strings of Quantifiers. The Theory of Models, Proceedings of the 1963 International Symposium at Berkeley, Edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1965, Pp. 329–341. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (1):157-158.
  8.  15
    Jerzy Słupecki and Witold A. Pogorzelski. A Variant of the Proof of the Completeness of the First Order Functional Calculus. English with Polish and Russian Summaries. Studia Logica, Vol. 12 , Pp. 125–134. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):688-689.
  9.  12
    Martin R. M.. Does Modal Logic Rest Upon a Mistake? Philosophical Studies , Vol. 14, Pp. 8–11.Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):691.
  10.  12
    Shih-Chiano Wang. Ming-T' I Yen-Suan Ti I Hsi Kung-Li . Acta Mathematica Sinica, Vol. 2 No. 4 , Pp. 267–274.Perry Smith - 1972 - Journal of Symbolic Logic 37 (1):185.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  11
    Vito F. Sinisi. Arbitrarily Selected Individuals in Natural Deduction. Analysis , Vol. 23 , Pp. 88–90.Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):528.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  10
    Mostowski A.. Quelques Applications de la Topologie À la Logique Mathématique. Topologie, Volume I, 4th Edn., by Kuratowski Casimir, Państwowe Wydawnictwo Naukowe, Warsaw 1958, Pp. 470–477. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):688.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  10
    Arthur Pap. Extensionality, Attributes, and Classes. Philosophical Studies , Vol. 9 , Pp. 42–46.Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):675.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  9
    Henry W. JohnstoneJr., Systèmes Formels Et Systèmes Ontologiques. Logique Et Analyse, N.S. Vol. 1 , Pp. 24–28.Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):550.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  9
    Reiss Samuel. The Universe of Meaning. Philosophical Library, New York 1953, Xi + 227 Pp. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):672.
  16.  7
    Thoralf A. Skolem. Abstract Set Theory. Notre Dame Mathematical Lectures, No. 8, University of Notre Dame, Notre Dame, Indiana, 1962, V + 70 Pp. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):680.
  17.  30
    Review: Nicolas Bourbaki, Theory of Sets. [REVIEW]Perry Smith - 1975 - Journal of Symbolic Logic 40 (4):630-631.
  18.  6
    James Cooke Brown. Loglan 1: A Logical Language. Fourth Edition. The Loglan Institute, Gainesville1989, 599 Pp. [REVIEW]Perry Smith - 1991 - Journal of Symbolic Logic 56 (4):1494-1495.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  28
    Review: J. L. Bell, M. Machover, A Course in Mathematical Logic. [REVIEW]Perry Smith - 1980 - Journal of Symbolic Logic 45 (2):378-379.
  20.  17
    Klimovsky Gregorio. Tres Enunciados Equivalentes Al Teorema de Zorn. Contribuciones Cientificas, Serie Matematica, Vol. 2 No. 1. Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Buenos Aires 1956, 29 Pp. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):681-681.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  17
    Kokoszyńska Maria. Deduction as a method of proof. Atti del XII Congresso Internazionale di Filosofia , Volume quinto, Logica, gnoseologia, filosofia della scienza, filosofia del linguaggio, Sansoni Editore, Florence 1960, pp. 271–278. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):551-551.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  5
    Roman Suszko. A Note Concerning the Binary Quantifiers. Theoria , Vol. 28 , Pp. 269–276.Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):689.
  23.  16
    Lorenzen Paul. Einführung in Die Operative Logik Und Mathematik. Second Edition of XXII 289, with Minor Revisions. Die Grundlehren der Mathematischen Wissenschaften, Vol. 78. Springer-Verlag, Berlin-Heidelberg-New York 1969, VIII + 298 Pp. [REVIEW]Perry Smith - 1970 - Journal of Symbolic Logic 35 (2):330-330.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  24
    Review: George F. Simmons, Introduction to Topology and Modern Analysis. [REVIEW]Perry Smith - 1970 - Journal of Symbolic Logic 35 (4):592-592.
  25.  22
    Review: B. Rotman, G. T. Kneebone, The Theory of Sets and Transfinite Numbers. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (3):614-614.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  14
    Engelking R. And Kuratowski K.. Quelques Théorèmes de l'Algèbre de Boole Et Leurs Applications Topologiques. Fundamenta Mathematicae, Vol. 50 , Pp. 519–535. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (2):399-400.
  27.  13
    Issman Samuel. La conception formaliste des mathématiques. Atti del XII Congresso Internazionale di Filosofia , Volume quinto Lògica, gnoseologia, filosofia della scienze, filosofia del linguaggio, Sansoni Editore, Florence 1960, pp. 237–244. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):523-523.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  13
    Rotman B. And Kneebone G. T.. The Theory Ofsets and Transfinite Numbers. Oldbourne Mathematical Series, Oldbourne, London, and Daniel Davey & Co., Inc., New York, 1966, X + 144 Pp.; Also American Elsevier Publishing Company, Inc., New York 1968, X + 144 Pp. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (3):614-614.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  16
    Review: Stefan N. Berti, Aplicatii Ale Teoriei Relatiilor in Logica Matematica (Applications de la Theorie des Relations Dans la Logique Mathematique. [REVIEW]Perry Smith - 1970 - Journal of Symbolic Logic 35 (4):584-584.
  30.  12
    Bell J. L. And Machover M.. A Course in Mathematical Logic. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1977, Xix + 599 Pp. [REVIEW]Perry Smith - 1980 - Journal of Symbolic Logic 45 (2):378-379.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  19
    Review: J. L. Bell, A. B. Slomson, Models and Ultraproducts: An Introduction. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (4):763-764.
  32.  11
    Ajdukiewicz Kazimierz. A method of eliminating intensional sentences and sentential formulae. Atti del XII Congresso Internazionale di Filosofia , Volume quinto, Lògica, gnoseologia, filosofia della scienza, filosofia del linguaggio, Sansoni Editore, Florence 1960, pp. 17–24. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (1):179-180.
  33.  11
    On the Notion of Invariance in Classical Mechanics.Perry Smith, J. C. C. McKinsey & Patrick Suppes - 1971 - Journal of Symbolic Logic 36 (4):675.
  34.  10
    Cannonito Frank B.. The Gödel Incompleteness Theorem and Intelligent Machines. AFIPS, Proceedings 1962 Spring Joint Computer Conference, San Francisco, Calif., May 1–3, 1962, Vol. 21, The National Press, Palo Alto 1962, Pp. 71–77. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):693-693.
  35.  11
    Review: Dana Scott, J. W. Addison, Leon Henkin, Alfred Tarski, Logic with Denumerably Long Formulas and Finite Strings of Quantifiers. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (1):157-158.
  36.  9
    Schröter Karl. Die Unabhängigkeit der elementaren prädikatenlogischen Schlussregeln. Zeitschrift für mthematische Logik und Grundlagen der mathematik, vol. 2 , pp. 218–227. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (1):194-194.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  11
    Review: Samuel Issman, La Conception Formaliste des Mathématiques. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):523-523.
  38.  13
    Review: Frank B. Cannonito, The Godel Incompleteness Theorem and Intelligent Machines. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):693-693.
  39.  12
    Review: James Cooke Brown, Loglan 1: A Logical Language. [REVIEW]Perry Smith - 1991 - Journal of Symbolic Logic 56 (4):1494-1495.
  40.  12
    Review: Richard Montague, Syntactical Treatments of Modality, with Corollaries on Reflexion Principles and Finite Axiomatizability. [REVIEW]Perry Smith - 1975 - Journal of Symbolic Logic 40 (4):600-601.
  41.  8
    Bourbaki Nicolas . Theory of Sets. Elements of Mathematics. English Translation of XXXVII 636, XL 289. Hermann, Publishers in Arts and Science, Paris, and Addison-Wesley Publishing Company, Reading, Mass., Menlo Park, Calif., London, Don Mills, Ontario, 1968, VIII + 414 Pp. [REVIEW]Perry Smith - 1975 - Journal of Symbolic Logic 40 (4):630-631.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  1
    Review: Maria Kokoszynska, Deduction as a Method of Proof. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):551-551.
  43.  9
    Review: Vito F. Sinisi, Arbitrarily Selected Individuals in Natural Deduction. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):528-528.
  44.  8
    Review: Charles Hartshorne, Ten Ontological or Modal Proofs for God's Existence. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):515-515.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  6
    Hermes Hans. Term Logic with Choice Operator. A Revised and Enlarged Translation of XXXV 440. Lecture Notes in Mathematics No. 6, Springer-Verlag, Berlin, Heidelberg, and New York, 1970, Iv + 55 Pp. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):679-680.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  6
    Mostowski A.. Constructible Sets with Applications. Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam, and PWN, Polish Scientific Publishers, Warsaw, 1969, Vi + 269 Pp. [REVIEW]Perry Smith - 1975 - Journal of Symbolic Logic 40 (4):631-632.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  6
    Montague Richard. Syntactical Treatments of Modality, with Corollaries on Reflexion Principles and Finite Axiomatizability. Proceedings of a Colloquium on Modal and Many-Valued Logics, Helsinki, 23-26 August, 1962, Acta Philosophica Fennica, No. 16, Helsinki 1963, Pp. 153–167. [REVIEW]Perry Smith - 1975 - Journal of Symbolic Logic 40 (4):600-601.
  48.  7
    Review: Arthur Pap, Extensionality, Attributes, and Classes. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):675-675.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  7
    Review: Hans Hermes, Term Logic with Choice Operator. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):679-680.
  50.  7
    Review: R. M. Martin, Does Modal Logic Rest Upon a Mistake? [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):691-691.
1 — 50 / 67