547 found
Sort by:
  1. Alonzo Church, The Need for Abstract Entities.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Alonzo Church (2013). Index to Volumes 1-25: Part I. Journal of Symbolic Logic 143 (148).
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Andrzej Mostowski, W. V. Quine, Arthur Francis Smullyan, Virgil Hinshaw, Alonzo Church, Charles A. Baylis, Maurice L'Abbe, Max Black, Paul Bernays & David Nelson (2013). The Journal of Symbolic Logic Publishes Original Scholarly Work in Symbolic Logic. Founded in 1936, It has Become the Leading Research Journal in the Field. The Journal Aims to Represent Logic Broadly, Including its Connections with Mathematics and Philosophy as Well as Newer Aspects Related to Computer Science and Linguistics. [REVIEW] Journal of Symbolic Logic 63 (64).
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Alonzo Church (2009). Referee Reports on Fitch's "Definition of Value". In Joe Salerno (ed.), New Essays on the Knowability Paradox. Oxford University Press. 13--20.
     
    My bibliography  
     
    Export citation  
  5. Alonzo Church, C. Anthony Anderson & Michael Zelëny (eds.) (2001). Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Kluwer Academic Publishers.
    This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Alonzo Church (1999). Antinomies with That of Tarski. In A. D. Irvine (ed.), Bertrand Russell: Critical Assessments. Routledge. 96.
    No categories
     
    My bibliography  
     
    Export citation  
  7. Alonzo Church (1997). Pedoe Dan. The Gentle Art of Mathematics. With Drawings by Tayeb Griselda El. The English Universities Press Limited, London 1958, and The Macmillan Company, New York 1959, 143 Pp. Collier Books, New York 1963, 159 Pp. [REVIEW] Journal of Symbolic Logic 31 (4):675-675.
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Alonzo Church (1997). Rynin David. Introduction. A Treatise on Language, by Johnson Alexander Bryan, Edited by Rynin David, University of California Press, Berkeley and Los Angeles, and Cambridge University Press, London, 1959, Pp. 1–25. [REVIEW] Journal of Symbolic Logic 31 (4):670-671.
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Alonzo Church (1996). Foreword. Bibliography of Polish Mathematics 1944–1954, Translated Reprint From the Roczniki Polskiego Towarzystwa Matematycznego, Seria II, Wiadomości Matematyczne, Published for the Department of Commerce and the National Science Foundation, Washington, DC, on the Order of Centralny Instytut Informacji Naukowo-Technicznej I Ekonomicznej, by Państwowe Wydawnictwo Naukowe, Warsaw 1963 (Available From the Office of Technical Services, US Department of Commerce, Washington, DC, for Distribution in USA ... [REVIEW] Journal of Symbolic Logic 31 (3):517-517.
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Alonzo Church (1996). Hailperin Theodore. An Incorrect Theorem. Journal of Symbolic Logic 31 (1):128-128.
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. Alonzo Church (1996). Meschkowski Herbert. Wandlungen des mathematischen Denkens. Eine Einführung in die Grundlagenprobleme der Mathematik. Friedr. Vieweg & Sohn, Braunschweig 1960, vii+ 141 pp. [REVIEW] Journal of Symbolic Logic 31 (1):111-111.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  12. Kazimierz Ajdukiewicz, Liliana Albertazzl, Tadeusz Batog, Alonzo Church, Mirostawa Czarnawska, Evelyn Dolling, Jerzy Ciedymin, Jacek Jadacki, Guido Rung & Janusz Maciaszek (1995). Authors and Editors. In Vito Sinisi & Jan Woleński (eds.), The Heritage of Kazimierz Ajdukiewicz. Rodopi. 369.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Alonzo Church (1995). A Theory of the Meaning of Names. In Vito Sinisi & Jan Woleński (eds.), The Heritage of Kazimierz Ajdukiewicz. Rodopi. 40--69.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. Alonzo Church (1993). A Revised Formulation of the Logic of Sense and Denotation. Alternative (1). Noûs 27 (2):141-157.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. Alonzo Church (1984). A Bibliography of Symbolic Logic, 1666-1935. Association for Symbolic Logic.
  16. Alonzo Church (1982). Una observación respecto de la paradoja de Quine sobre la modalidad. Análisis Filosófico 2:25.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  17. Alonzo Church (1976). Comparison of Russell's Resolution of the Semantical Antinomies with That of Tarski. Journal of Symbolic Logic 41 (4):747-760.
  18. Alonzo Church (1976). Review: Augustus de Morgan, On the Syllogism and Other Logical Writings by Augustus de Morgan. [REVIEW] Journal of Symbolic Logic 41 (2):546-547.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Alonzo Church (1976). Review: Douglas Lackey, Bertrand Russell, Essays in Analysis by Bertrand Russell. [REVIEW] Journal of Symbolic Logic 41 (3):700-702.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. Alonzo Church (1976). Schröder's Anticipation of the Simple Theory of Types. Erkenntnis 8 (1):407 - 411.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  21. Alonzo Church (1975). Review: A. Heyting, Intuitionism in Mathematics. [REVIEW] Journal of Symbolic Logic 40 (3):472-472.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. Alonzo Church (1975). Review: B. F. McGuinness, Russell, Bertrand, Philosophy Of. [REVIEW] Journal of Symbolic Logic 40 (4):598-598.
    Direct download  
     
    My bibliography  
     
    Export citation  
  23. Alonzo Church (1975). Review: E. R. Kiely, Mathematics, History Of. [REVIEW] Journal of Symbolic Logic 40 (4):597-598.
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Alonzo Church (1975). Review: Frieder Schwenkel, Rekursive Wortfunktionen uber Unendlichen Alphabeten. [REVIEW] Journal of Symbolic Logic 40 (4):621-622.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  25. Alonzo Church (1975). Review: G. L. Farre, Frege, Gottlob. [REVIEW] Journal of Symbolic Logic 40 (4):596-596.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. Alonzo Church (1975). Review: G. L. Farre, Peano, Giuseppe. [REVIEW] Journal of Symbolic Logic 40 (4):598-598.
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. Alonzo Church (1975). Review: G. L. Farre, De Morgan, Augustus. [REVIEW] Journal of Symbolic Logic 40 (4):596-596.
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Alonzo Church (1975). Review: G. L. Farre, Boole, George. [REVIEW] Journal of Symbolic Logic 40 (4):596-596.
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. Alonzo Church (1975). Review: H. A. Nielsen, Antinomy. [REVIEW] Journal of Symbolic Logic 40 (4):595-595.
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Alonzo Church (1975). Review: H. A. Nielsen, Linguistic Analysis. [REVIEW] Journal of Symbolic Logic 40 (4):596-596.
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. Alonzo Church (1975). Review: Hao Wang, Note on Rules of Inference. [REVIEW] Journal of Symbolic Logic 40 (4):604-604.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. Alonzo Church (1975). Review: Ivo Thomas, The Rule of Excision in Positive Implication. [REVIEW] Journal of Symbolic Logic 40 (4):603-603.
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. Alonzo Church (1975). Review: I. Thomas, Logic, History Of. [REVIEW] Journal of Symbolic Logic 40 (4):596-597.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. Alonzo Church (1975). Review: J. A. Ladriere, Axiomatic System. [REVIEW] Journal of Symbolic Logic 40 (4):596-596.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. Alonzo Church (1975). Review: J. Los, R. Suszko, Remarks on Sentential Logics. [REVIEW] Journal of Symbolic Logic 40 (4):603-604.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. Alonzo Church (1975). Review: Jerzy Slupecki, Raymond Klibansky, Logic in Poland; Maria Kokoszynska, Kazimierz Ajdukiewicz; Ettore Casari, La Logique en Italie. [REVIEW] Journal of Symbolic Logic 40 (3):472-472.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. Alonzo Church (1975). Review: Joseph Ullian, Bernard Baumrin, Mathematical Objects; Joseph S. Ullian, Is Any Set Theory True? [REVIEW] Journal of Symbolic Logic 40 (4):593-595.
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Alonzo Church (1975). Review: Karl Popper, The Logic of Scientific Discovery. [REVIEW] Journal of Symbolic Logic 40 (3):471-472.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  39. Alonzo Church (1975). Review: M. Gorman, Semantics. [REVIEW] Journal of Symbolic Logic 40 (4):598-599.
    Direct download  
     
    My bibliography  
     
    Export citation  
  40. Alonzo Church (1975). Review: M. J. Charlesworth, Analytical Philosophy. [REVIEW] Journal of Symbolic Logic 40 (4):595-595.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  41. Alonzo Church (1975). Review: R. Bradshaw Angell, Note on a Less Restricted Type of Rule of Inference; R. B. Angell, The Sentential Calculus Using Rule of Inference $R_e$. [REVIEW] Journal of Symbolic Logic 40 (4):602-603.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. Alonzo Church (1975). Review: Rudolf Carnap, Logische Syntax der Sprache. [REVIEW] Journal of Symbolic Logic 40 (3):472-472.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. Alonzo Church (1975). Review: Rozsa Peter, Uber die Verallgemeinerung der Theorie der Rekursiven Funktionen fur Abstrakte Mengen Geeigneter Struktur als Definitionsbereiche. [REVIEW] Journal of Symbolic Logic 40 (4):620-621.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  44. Alonzo Church (1975). Review: Rosza Peter, Zum Beitrag von F. Schwenkel "Rekursive Wortfunktionen uber Unendlichen Alphabeten."; F. Schwenkel, Entgegnung. [REVIEW] Journal of Symbolic Logic 40 (4):622-622.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  45. Alonzo Church (1975). Review: Stephen F. Barker, Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn, Realism as a Philosophy of Mathematics. [REVIEW] Journal of Symbolic Logic 40 (4):593-593.
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Alonzo Church (1975). Review: Sze-Tsen Hu, Threshold Logic. [REVIEW] Journal of Symbolic Logic 40 (2):250-250.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. Alonzo Church (1975). Review: Shoji Maehara, Logic in Japan. [REVIEW] Journal of Symbolic Logic 40 (3):472-472.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. Alonzo Church (1975). Review: T. A. K. Kloyda, Bolzano, Bernhard. [REVIEW] Journal of Symbolic Logic 40 (4):596-596.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  49. Alonzo Church (1975). Review: W. A. Wallace, Logic, Symbolic. [REVIEW] Journal of Symbolic Logic 40 (4):597-597.
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. Alonzo Church (1975). Review: W. V. Quine, Jean van Heijenoort, Introductory Note; Alfred North Whitehead, Bertrand Russell, Incomplete Symbols: Descriptions. [REVIEW] Journal of Symbolic Logic 40 (3):472-473.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 547