Results for 'Logic, Symbolic and mathematical History'

1000+ found
Order:
  1. Studies in the History of Mathematical Logic.Stanisław J. Surma (ed.) - 1973 - Wrocław, Zakład Narodowy Im. Ossolinskich.
  2.  21
    From Peirce to Skolem: A Neglected Chapter in the History of Logic.Geraldine Brady - 2000 - North-Holland/Elsevier Science Bv.
    This book is an account of the important influence on the development of mathematical logic of Charles S. Peirce and his student O.H. Mitchell, through the work of Ernst Schroder, Leopold Lowenheim, and Thoralf Skolem. As far as we know, this book is the first work delineating this line of influence on modern mathematical logic.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  3. Essays in the Philosophy and History of Logic and Mathematics.Roman Murawski (ed.) - 2010 - Rodopi.
    The book is a collection of the author’s selected works in the philosophy and history of logic and mathematics. Papers in Part I include both general surveys of contemporary philosophy of mathematics as well as studies devoted to specialized topics, like Cantor's philosophy of set theory, the Church thesis and its epistemological status, the history of the philosophical background of the concept of number, the structuralist epistemology of mathematics and the phenomenological philosophy of mathematics. Part II contains essays (...)
     
    Export citation  
     
    My bibliography  
  4. Proofs and Refutations: The Logic of Mathematical Discovery.Imre Lakatos (ed.) - 1976 - Cambridge University Press.
    Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion (which mirrors certain real developments in the history of mathematics) raises some philosophical problems and some problems about the nature of mathematical (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   158 citations  
  5.  56
    19th Century Logic Between Philosophy and Mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
    The history of modern logic is usually written as the history of mathematical or, more general, symbolic logic. As such it was created by mathematicians. Not regarding its anticipations in Scholastic logic and in the rationalistic era, its continuous development began with George Boole's The Mathematical Analysis of Logic of 1847, and it became a mathematical subdiscipline in the early 20th century. This style of presentation cuts off one eminent line of development, the philosophical (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  6.  72
    Introduction to Mathematical Logic.Michał Walicki - 2012 - World Scientific.
    A history of logic -- Patterns of reasoning -- A language and its meaning -- A symbolic language -- 1850-1950 mathematical logic -- Modern symbolic logic -- Elements of set theory -- Sets, functions, relations -- Induction -- Turning machines -- Computability and decidability -- Propositional logic -- Syntax and proof systems -- Semantics of PL -- Soundness and completeness -- First order logic -- Syntax and proof systems of FOL -- Semantics of FOL -- More (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  7. Thought and Logic: The Debates Between German-Speaking Philosophers and Symbolic Logicians at the Turn of the 20th Century.Jarmo Pulkkinen - 2005 - P. Lang.
  8.  13
    Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  9. Proofs and Refutations: The Logic of Mathematical Discovery.Imre Lakatos, John Worrall & Elie Zahar (eds.) - 2012 - Cambridge University Press.
    Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion raises some philosophical problems and some problems about the nature of mathematical discovery or creativity. Imre Lakatos is concerned throughout to combat the (...)
     
    Export citation  
     
    My bibliography   1 citation  
  10.  1
    Eckart Menzler-Trott. Translated by Craig Smoryński and Edward Griffor. Logic's Lost Genius: The Life of Gerhard Gentzen. History of Mathematics, Vol. 33. American Mathematical Society, Providence, RI, 2007, Xxii+441 Pp. [REVIEW]W. W. Tait - 2010 - Bulletin of Symbolic Logic 16 (2):270-275.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  1
    Perspectives on the History of Mathematical Logic, Edited by Drucker Thomas, Birkhäuser, Boston, Basel, and Berlin, 1991, Xxiii + 195 Pp.Dawson John W. Jr. The Reception of Gödel's Incompleteness Theorems. Pp. 84–100. [REVIEW]Stewart Shapiro - 1992 - Journal of Symbolic Logic 57 (4):1487-1489.
  12. Review: N. I. Stazkin, V. D. Silakov, A Brief Outline of the History of General and Mathematical Logic in Russia. [REVIEW]David Dinsmore Comey - 1965 - Journal of Symbolic Logic 30 (3):370-371.
  13.  1
    Review: Stanislaw Kaczorowski, Mathematical Logic. Part I. The Algebra of Logic. (An Outline of History.). [REVIEW]Andrzej Mostowski - 1948 - Journal of Symbolic Logic 13 (3):167-167.
  14. Review: Thomas Drucker, Perspectives on the History of Mathematical Logic. [REVIEW]Steward Shapiro - 1992 - Journal of Symbolic Logic 57 (4):1487-1489.
  15. Seventh Latin American on Mathematical Logic- Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985.Walter Carnielli - 1986 - Journal of Symbolic Logic 51 (4):1093-1103.
    This publication refers to the proceedings of the Seventh Latin American on Mathematical Logic held in Campinas, SP, Brazil, from July 29 to August 2, 1985. The event, dedicated to the memory of Ayda I. Arruda, was sponsored as an official Meeting of the Association for Symbolic Logic. Walter Carnielli. -/- The Journal of Symbolic Logic Vol. 51, No. 4 (Dec., 1986), pp. 1093-1103.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  12
    What is a Number?: Mathematical Concepts and Their Origins.Robert Tubbs - 2009 - Johns Hopkins University Press.
    Mathematics often seems incomprehensible, a melee of strange symbols thrown down on a page. But while formulae, theorems, and proofs can involve highly complex concepts, the math becomes transparent when viewed as part of a bigger picture. What Is a Number? provides that picture. Robert Tubbs examines how mathematical concepts like number, geometric truth, infinity, and proof have been employed by artists, theologians, philosophers, writers, and cosmologists from ancient times to the modern era. Looking at a broad range of (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  17. Contributions to Mathematical Logic Proceedings of the Logic Colloquium, Hannover 1966.Kurt Schütte, H. Arnold Schmidt, H. J. Thiele & International Union of the History and Philosophy of Science - 1968 - North-Holland.
     
    Export citation  
     
    My bibliography  
  18.  7
    Reviewed Work(S): Lowness Properties and Randomness. Advances in Mathematics, Vol. 197 by André Nies; Lowness for the Class of Schnorr Random Reals. SIAM Journal on Computing, Vol. 35 by Bjørn Kjos-Hanssen; André Nies; Frank Stephan; Lowness for Kurtz Randomness. The Journal of Symbolic Logic, Vol. 74 by Noam Greenberg; Joseph S. Miller; Randomness and Lowness Notions Via Open Covers. Annals of Pure and Applied Logic, Vol. 163 by Laurent Bienvenu; Joseph S. Miller; Relativizations of Randomness and Genericity Notions. The Bulletin of the London Mathematical Society, Vol. 43 by Johanna N. Y. Franklin; Frank Stephan; Liang Yu; Randomness Notions and Partial Relativization. Israel Journal of Mathematics, Vol. 191 by George Barmpalias; Joseph S. Miller; André Nies. [REVIEW]Johanna N. Y. Franklin - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
    Review by: Johanna N. Y. Franklin The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 115-118, March 2013.
    Direct download  
     
    Export citation  
     
    My bibliography  
  19. The Philosophy of Logic, 1880-1908.G. D. Bowne - 1966 - The Hague: Mouton.
  20.  26
    A Mathematical Introduction to Logic.Herbert B. Enderton - 1972 - New York: Academic Press.
    A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   64 citations  
  21.  4
    Ilijas Farah, Bradd Hart, and David Sherman. Model Theory of Operator Algebras I: Stability. Bulletin of the London Mathematical Society, Vol. 45 , No. 4, Pp. 825–838, Doi:10.1112/Blms/Bdt014.Ilijas Farah, Bradd Hart, and David Sherman. Model Theory of Operator Algebras II: Model Theory. Israel Journal of Mathematics, Vol. 201 , No. 1, Pp. 477–505, Doi:10.1007/S11856-014-1046-7.Ilijas Farah, Bradd Hart, and David Sherman. Model Theory of Operator Algebras III: Elementary Equivalence and II1 Factors. Bulletin of the London Mathematical Society, Vol. 46 , No. 3, Pp. 609–628, Doi:10.1112/Blms/Bdu012.Isaac Goldbring, Bradd Hart, and Thomas Sinclair. The Theory of Tracial von Neumann Algebras Does Not Have a Model Companion. Journal of Symbolic Logic, Vol. 78 , No. 3, Pp. 1000–1004. [REVIEW]Itaï Ben Yaacov - 2015 - Bulletin of Symbolic Logic 21 (4):425-427.
  22.  5
    Buchholz Wilfried. Notation Systems for Infinitary Derivations. Archive for Mathematical Logic, Vol. 30 No. 5–6 , Pp. 277–296.Buchholz Wilfried. Explaining Gentzen's Consistency Proof Within Infinitary Proof Theory. Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25–29, 1997, Proceedings, Edited by Gottlob Georg, Leitsch Alexander, and Mundici Daniele, Lecture Notes in Computer Science, Vol. 1289, Springer, Berlin, Heidelberg, New York, Etc., 1997, Pp. 4–17.Tupailo Sergei. Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals. Logic Colloquium '98, Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Prague, Czech Republic, August 9–15, 1998, Edited by Buss Samuel R., Háajek Petr, and Pudlák Pavel, Lecture Notes in Logic, No. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., Etc., 2000, Pp. 465–499. [REVIEW]Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (3):437-439.
  23.  1
    Velleman Daniel J., Morasses, Diamond, and Forcing, Annals of Mathematical Logic, Vol. 23 , Pp. 199–281.Velleman Dan. On a Generalization of Jensen's □Κ, and Strategic Closure of Partial Orders, The Journal of Symbolic Logic, Vol. 48, No. 4 , Pp. 1046–1052. [REVIEW]Lee Stanley - 1989 - Journal of Symbolic Logic 54 (2):639-646.
  24.  8
    Reviewed Work: Recent Papers on the Tree Property. Aronszajn Trees and Failure of the Singular Cardinal Hypothesis. Journal of Mathematical Logic, Vol. 9, No. 1 , The Tree Property at ℵ Ω+1. Journal of Symbolic Logic, Vol. 77, No. 1 , The Tree Property and the Failure of SCH at Uncountable Confinality. Archive for Mathematical Logic, Vol. 51, No. 5-6 , The Tree Property and the Failure of the Singular Cardinal Hypothesis at [Image]. Journal of Symbolic Logic, Vol. 77, No. 3 , Aronszajn Trees and the Successors of a Singular Cardinal. Archive for Mathematical Logic, Vol. 52, No. 5-6 , The Tree Property Up to ℵ Ω+1. Journal of Symbolic Logic. Vol. 79, No. 2 by Itay Neeman; Dima Sinapova; Spencer Unger. [REVIEW]Review by: James Cummings - 2015 - Bulletin of Symbolic Logic 21 (2):188-192.
  25.  6
    Robinson Raphael M.. Restricted Set-Theoretical Definitions in Arithmetic. Proceedings of the American Mathematical Society, Vol. 9 (1958), Pp. 238–242. Robinson Raphael M.. Restricted Set-Theoretical Definitions in Arithmetic. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, NJ, 1960, Pp. 139–140. [REVIEW]Robert McNaughton - 1997 - Journal of Symbolic Logic 31 (4):659-660.
  26.  9
    Apter Arthur W.. On the Least Strongly Compact Cardinal. Israel Journal of Mathematics, Vol. 35 (1980), Pp. 225–233. Apter Arthur W.. Measurability and Degrees of Strong Compactness. The Journal of Symbolic Logic, Vol. 46 (1981), Pp. 249–254. Apter Arthur W.. A Note on Strong Compactness and Supercompactness. Bulletin of the London Mathematical Society, Vol. 23 (1991), Pp. 113–115. Apter Arthur W.. On the First N Strongly Compact Cardinals. Proceedings of the American Mathematical Society, Vol. 123 ... [REVIEW]James W. Cummings - 2000 - Bulletin of Symbolic Logic 6 (1):86-89.
  27.  7
    Early History of the Association for Symbolic Logic.C. J. Ducasse & Haskell B. Curry - 1962 - Journal of Symbolic Logic 27 (3):255-258.
  28.  7
    Addendum to Early History of the Association for Symbolic Logic.C. J. Ducasse & Haskell B. Curry - 1963 - Journal of Symbolic Logic 28 (4):279.
  29.  11
    Conference on Mathematical Logic: Co-Sponsored by the Association for Symbolic Logic, Pasris, 1992.G. Sabbagh - 1994 - Journal of Symbolic Logic 59 (1):345.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  30.  5
    Strahm Thomas. First Steps Into Metapredicativity in Explicit Mathematics. Sets and Proofs, Invited Papers From Logic Colloquium'97—European Meeting of the Association for Symbolic Logic, Leeds, July 1997, Edited by Cooper S. Barry and Truss John K., London Mathematical Society Lecture Note Series, No. 258, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1999, Pp. 383–402. [REVIEW]Andrea Cantini - 2002 - Bulletin of Symbolic Logic 8 (4):535-536.
  31.  2
    Sets and Proofs, Invited Papers From Logic Colloquium '97—European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Thomas Strahm. First Steps Into Metapredicativity in Explicit Mathematics. Sets and Proofs, Invited Papers From Logic Colloquium '97—European Meeting of the Association for Symbolic Logic, Leeds, July 1997, Edited by S. Barry Cooper and John K. Truss, London Mathematical Society Lecture Note Series, No. 258, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1999, Pp. 383–402. [REVIEW]Andrea Cantini - 2002 - Bulletin of Symbolic Logic 8 (4):535-536.
  32.  5
    Jackson Steve. A New Proof of the Strong Partition Relation on Ω1. Transactions of the American Mathematical Society, Vol. 320 (1990), Pp. 737–745. Jackson Steve. Admissible Suslin Cardinals in L (R). The Journal of Symbolic Logic, Vol. 56 (1991), Pp. 260–275. Jackson Steve. A Computation Of. Memoirs of the American Mathematical Society, No. 670. American Mathematical Society, Providence 1999, Viii+ 94 Pp. [REVIEW]Howard S. Becker - 2002 - Bulletin of Symbolic Logic 8 (4):546-548.
  33.  3
    Strahm Thomas. Polynomial Time Operations in Explicit Mathematics. The Journal of Symbolic Logic, Vol. 62 (1997), Pp. 575–594. Cantini Andrea. Feasible Operations and Applicative Theories Based on Λη. Mathematical Logic Quarterly, Vol. 46 (2000), Pp. 291–312. [REVIEW]Fernando Ferreira - 2002 - Bulletin of Symbolic Logic 8 (4):534-535.
  34.  1
    Apter Arthur W.. On the Least Strongly Compact Cardinal. Israel Journal of Mathematics, Vol. 35 , Pp. 225–233.Apter Arthur W.. Measurability and Degrees of Strong Compactness. The Journal of Symbolic Logic, Vol. 46 , Pp. 249–254.Apter Arthur W.. A Note on Strong Compactness and Supercompactness. Bulletin of the London Mathematical Society, Vol. 23 , Pp. 113–115.Apter Arthur W.. On the First N Strongly Compact Cardinals. Proceedings of the American Mathematical Society, Vol. 123 , Pp. 2229–2235.Apter Arthur W. And Shelah Saharon. On the Strong Equality Between Supercompactness and Strong Compactness.. Transactions of the American Mathematical Society, Vol. 349 , Pp. 103–128.Apter Arthur W. And Shelah Saharon. Menas' Result is Best Possible. Ibid., Pp. 2007–2034.Apter Arthur W.. More on the Least Strongly Compact Cardinal. Mathematical Logic Quarterly, Vol. 43 , Pp. 427–430.Apter Arthur W.. Laver Indestructibility and the Class of Compact Cardinals. The Journal of Symbolic Logic, Vol. 63. [REVIEW]James W. Cummings - 2000 - Bulletin of Symbolic Logic 6 (1):86-89.
  35.  1
    Robinson Abraham. On the Application of Symbolic Logic to Algebra. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence 1952, Vol. I, Pp. 686–694.Tarski Alfred. Some Notions and Methods on the Borderline of Algebra and Metamathematics. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence 1952, Vol. I, Pp. 705–720. [REVIEW]H. E. Vaughan - 1953 - Journal of Symbolic Logic 18 (2):182.
  36. Transactions of the American Mathematical Society. James Cummings. A Model in Which GCH Holds at Successors but Fails at Limits. Transactions of the American Mathematical Society, Vol. 329 , Pp. 1–39. James Cummings. Strong Ultrapowers and Long Core Models. The Journal of Symbolic Logic, Vol. 58 , Pp. 240–248. James Cummings. Coherent Sequences Versus Radin Sequences. Annals of Pure and Applied Logic, Vol. 70 , Pp. 223–241. James Cummings, Matthew Foreman, and Menachem Magidor. Squares, Scales and Stationary Reflection. Journal of Mathematical Logic, Vol. 1 , Pp. 35–98. [REVIEW]Arthur W. Apter - 2002 - Bulletin of Symbolic Logic 8 (4):550-552.
  37. Transactions of the American Mathematical Society. Steve Jackson. A New Proof of the Strong Partition Relation on Ω1. Transactions of the American Mathematical Society, Vol. 320 , Pp. 737–745. Steve Jackson. Admissible Suslin Cardinals in L. The Journal of Symbolic Logic, Vol. 56 , Pp. 260–275. Steve Jackson. A Computation Of. Memoirs of the American Mathematical Society, No. 670. American Mathematical Society, Providence 1999, Viii + 94 Pp. [REVIEW]Howard S. Becker - 2002 - Bulletin of Symbolic Logic 8 (4):546-548.
  38. Mac Lane Saunders. Symbolic Logic. The American Mathematical Monthly, Vol. 46 , Pp. 289–296.Alonzo Church - 1939 - Journal of Symbolic Logic 4 (3):125-126.
  39. Dürr Karl. Lewis and the History of Symbolic Logic. The Philosophy of C. I. Lewis, Edited by Schilpp Paul Arthur, The Library of Living Philosophers, Vol. 13, Open Court, La Salle, Ill., and Cambridge University Press, London, 1968, Pp. 89–114. [REVIEW]M. J. Cresswell - 1974 - Journal of Symbolic Logic 39 (1):172.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. Itay Neeman. Aronszajn Trees and Failure of the Singular Cardinal Hypothesis. Journal of Mathematical Logic, Vol. 9, No. 1 , Pp. 139–157.Dima Sinapova. The Tree Property at אּω+1. Journal of Symbolic Logic, Vol. 77, No. 1 , Pp. 279–290.Dima Sinapova. The Tree Property and the Failure of SCH at Uncountable Cofinality. Archive for Mathematical Logic, Vol. 51, No. 5-6 , Pp. 553–562.Dima Sinapova. The Tree Property and the Failure of the Singular Cardinal Hypothesis at אּω 2. Journal of Symbolic Logic, Vol. 77, No. 3 , Pp. 934–946.Spencer Unger. Aronszajn Trees and the Successors of a Singular Cardinal. Archive for Mathematical Logic, Vol. 52, No. 5-6 , Pp. 483–496.Itay Neeman. The Tree Property Up to אּω+1. Journal of Symbolic Logic. Vol. 79, No. 2 , Pp. 429–459. [REVIEW]James Cummings - 2015 - Bulletin of Symbolic Logic 21 (2):188-192.
  41. The Journal of Symbolic Logic. Thomas Strahm. Polynomial Time Operations in Explicit Mathematics. The Journal of Symbolic Logic, Vol. 62 , Pp. 575–594. Andrea Cantini. Feasible Operations and Applicative Theories Based on Λη. Mathematical Logic Quarterly, Vol. 46 , Pp. 291–312. [REVIEW]Fernando Ferreira - 2002 - Bulletin of Symbolic Logic 8 (4):534-535.
  42. Marczewski E.. Sur les Congruences Et les Propriétés Positives d'Algèbres Abstraites. Colloquium Mathematicum, Vol. 2 No. 3–4 , Pp. 220–228.Lyndon Roger C.. Properties Preserved Under Homomorphism. Pacific Journal of Mathematics, Vol. 9 , Pp. 143–154.Lyndon Roger C.. Properties Preserved in Subdirect Products. Pacific Journal of Mathematics, Vol. 9 , Pp. 155–164.Lyndon R. C.. Sentences Preserved Under Homomorphisms; Sentences Preserved Under Subdirect Products. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 122–124.Lyndon R. C.. Properties Preserved Under Algebraic Constructions. Bulletin of the American Mathematical Society, Vol. 65 , Pp. 287–299. [REVIEW]Thomas Frayne - 1968 - Journal of Symbolic Logic 32 (4):533-534.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. Chang C. C.. Algebraization of Infinitely Many-Valued Logic. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 144–146.Chang C. C.. Algebraic Analysis of Many Valued Logics. Transactions of the American Mathematical Society, Vol. 88 , Pp. 467–490.Chang C. C.. A New Proof of the Completeness of the Łukasiewicz Axioms. Transactions of the American Mathematical Society, Vol. 93 , Pp. 74–80. [REVIEW]Alfred Horn - 1971 - Journal of Symbolic Logic 36 (1):159-160.
  44. Dekker J. C. E. And Myhill J.. Recursive Equivalence Types. University of California Publications in Mathematics, N.S. Vol. 3 No. 3 , Pp. 67–214.Dekker J. C. E.. Congruences in Isols with a Finite Modulus. Mathematische Zeitschrift, Vol. 70 , Pp. 113–124.Myhill J.. Recursive Equivalence Types and Combinatorial Functions. Bulletin of the American Mathematical Society, Vol. 64 , Pp. 373–376.Dekker J. C. E.. The Factorial Function for Isols. Mathematische Zeitschrift, Vol. 70 , Pp. 250–262.Dekker J. C. E. And Myhill J.. The Divisibility of Isols by Powers of Primes. Mathematische Zeitschrift, Vol. 73 . Pp. 127–133.Dekker J. C. E.. An Expository Account of Isols. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 189–200. [REVIEW]Donald L. Kreider - 1960 - Journal of Symbolic Logic 25 (4):356-359.
  45. Silver Jack H.. Counting the Number of Equivalence Classes of Borel and Coanalytic Equivalence Relations. Annals of Mathematical Logic, Vol. 18 , Pp. 1–28.Burgess John P.. Equivalences Generated by Families of Borel Sets. Proceedings of the American Mathematical Society. Vol. 69 , Pp. 323–326.Burgess John P.. A Reflection Phenomenon in Descriptive Set Theory. Fundamenta Mathematicae. Vol. 104 , Pp. 127–139.Harrington L. And Sami R.. Equivalence Relations, Projective and Beyond. Logic Colloquium '78, Proceedings of the Colloquium Held in Mons, August 1978, Edited by Boffa Maurice, van Dalen Dirk, and McAloon Kenneth, Studies in Logic and the Foundations of Mathematics, Vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, Pp. 247–264.Harrington Leo and Shelah Saharon. Counting Equivalence Classes for Co-Κ-Souslin Equivalence Relations. Logic Colloquium '80, Papers Intended for the European Summer Meeting of the Association for Symbolic Logic, Edited by van Da. [REVIEW]Alain Louveau - 1987 - Journal of Symbolic Logic 52 (3):869-870.
  46. Rabin M. O.. Computable Algebraic Systems. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 134–138.Rabin Michael O.. Computable Algebra, General Theory and Theory of Computable Fields. Transactions of the American Mathematical Society, Vol. 95 , Pp. 341–360. [REVIEW]B. H. Mayoh - 1967 - Journal of Symbolic Logic 32 (3):412-413.
  47. Shoenfield Joseph R.. Mathematical Logic. Republication of JSL XL 234. Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2001, Viii + 344 Pp. [REVIEW]J. Donald Monk - 2001 - Bulletin of Symbolic Logic 7 (3):376.
  48. Gilmore P. C.. An Alternative to Set Theory. The American Mathematical Monthly, Vol. 67 , Pp. 621–632.Gilmore P. C.. The Monadic Theory of Types in the Lower Predicate Calculus. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 309–312. [REVIEW]Bede Rundle - 1972 - Journal of Symbolic Logic 37 (4):766-767.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. Montalbán Antonio,Indecomposable Linear Orderings and Hyperarithmetic Analysis.Journal of Mathematical Logic, Vol.6 , No.1, Pp.89–120.Neeman Itay,The Strength of Jullien’s Indecomposability Theorem.Journal of Mathematical Logic, Vol.8 , No.1, Pp.93–119.Neeman Itay,Necessary Use of$\Sigma _1^1 $Induction in a Reversal.Journal of Symbolic Logic, Vol.76 , No.2, Pp.561–574. [REVIEW]Henry Towsner - 2014 - Bulletin of Symbolic Logic 20 (3):366-368.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  7
    Mathematical Logic.Joseph R. Shoenfield - 1967 - Reading, Mass., Addison-Wesley Pub. Co..
1 — 50 / 1000