66 found
Order:
  1.  27
    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.  17
    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  
  3.  16
    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.
  4.  15
    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  
  5.  12
    Ş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.
  6.  10
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  10
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  10
    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.
  9.  10
    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.
  10.  9
    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  
  11.  9
    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.
  12.  7
    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  
  13.  7
    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.
  14.  7
    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.
  15.  7
    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.  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  
  17.  5
    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.
  18.  2
    Roman Suszko. A Note Concerning the Binary Quantifiers. Theoria , Vol. 28 , Pp. 269–276.Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):689.
  19.  25
    Review: J. L. Bell, M. Machover, A Course in Mathematical Logic. [REVIEW]Perry Smith - 1980 - Journal of Symbolic Logic 45 (2):378-379.
  20.  23
    Review: George F. Simmons, Introduction to Topology and Modern Analysis. [REVIEW]Perry Smith - 1970 - Journal of Symbolic Logic 35 (4):592-592.
  21.  13
    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.
  22.  21
    Review: Nicolas Bourbaki, Theory of Sets. [REVIEW]Perry Smith - 1975 - Journal of Symbolic Logic 40 (4):630-631.
  23.  19
    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  
  24.  11
    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  
  25.  14
    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.
  26.  9
    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  
  27.  9
    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  
  28.  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  
  29.  8
    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  
  30.  8
    On the Notion of Invariance in Classical Mechanics.Perry Smith, J. C. C. McKinsey & Patrick Suppes - 1971 - Journal of Symbolic Logic 36 (4):675.
  31.  13
    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.  7
    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  
  33.  1
    Review: Maria Kokoszynska, Deduction as a Method of Proof. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):551-551.
  34.  8
    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.
  35.  8
    Review: Vito F. Sinisi, Arbitrarily Selected Individuals in Natural Deduction. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):528-528.
  36.  6
    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.
  37.  6
    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.
  38.  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  
  39.  6
    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  
  40.  9
    Review: James Cooke Brown, Loglan 1: A Logical Language. [REVIEW]Perry Smith - 1991 - Journal of Symbolic Logic 56 (4):1494-1495.
  41.  9
    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.
  42.  6
    Review: Gregorio Klimovsky, Tres Enunciados Equivalentes Al Teorema de Zorn. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):681-681.
  43.  6
    Review: Hans Hermes, Term Logic with Choice Operator. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):679-680.
  44.  7
    Review: Frank B. Cannonito, The Godel Incompleteness Theorem and Intelligent Machines. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):693-693.
  45.  4
    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  
  46.  4
    Mahulkar D. D.. The Groundwork of Modern Logic. East & West Book House, Baroda, India, 1959, Vi + 60 Pp. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):545.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  5
    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  
  48.  4
    Review: Samuel Issman, La Conception Formaliste des Mathématiques. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (3):523-523.
  49.  4
    Review: R. M. Martin, Does Modal Logic Rest Upon a Mistake? [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):691-691.
  50.  3
    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  
1 — 50 / 66