Results for 'Mathematical Logic and Foundations'

995 found
Order:
  1.  54
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Classification Theory Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985. [REVIEW]J. T. Baldwin & U. Workshop on Model Theory in Mathematical Logic - 1987
     
    Export citation  
     
    Bookmark  
  3.  91
    Mathematical Logic and the Foundations of Mathematics: An Introductory Survey.G. T. Kneebone - 1963 - Dover Publications.
    Graduate-level historical study is ideal for students intending to specialize in the topic, as well as those who only need a general treatment. Part I discusses traditional and symbolic logic. Part II explores the foundations of mathematics, emphasizing Hilbert’s metamathematics. Part III focuses on the philosophy of mathematics. Each chapter has extensive supplementary notes; a detailed appendix charts modern developments.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  4.  87
    Foundations of Mathematical Logic.Haskell B. Curry - 1963 - Dover Publications.
    Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   68 citations  
  5. Mathematical Logic and Foundations of Set Theory Proceedings of an International Colloquium Under the Auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968. [REVIEW]Yehoshua Bar-Hillel, Akademyah Ha-le Umit Ha-Yi Sre Elit le-Mada Im, Einstein Institute of Mathematics & International Mathematical Union - 1970
     
    Export citation  
     
    Bookmark  
  6.  49
    Mathematical Logic and Foundations of Set Theory.Yehoshua Bar-Hillel (ed.) - 1970 - Amsterdam: North-Holland Pub. Co..
    LN , so f lies in the elementary submodel M'. Clearly co 9 M' . It follows that 6 = {f(n): n em} is included in M'. Hence the ordinals of M' form an initial ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  7. Thirty Years of Foundational Studies Lectures on the Development of Mathematical Logic and the Study of the Foundations of Mathematics in 1930-1964.Andrzej Mostowski - 1965 - Blackwell.
  8.  33
    The Unity of Logic, Pedagogy and Foundations in Grassmann's Mathematical Work.Albert C. Lewis - 2004 - History and Philosophy of Logic 25 (1):15-36.
    Hermann Grassmann's Ausdehnungslehre of 1844 and his Lehrbuch der Arithmetik of 1861 are landmark works in mathematics; the former not only developed new mathematical fields but also both contributed to the setting of modern standards of rigor. Their very modernity, however, may obscure features of Grassmann's view of the foundations of mathematics that were not adopted since. Grassmann gave a key role to the learning of mathematics that affected his method of presentation, including his emphasis on making initial (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9. Sofia A. Yanovskaya: The Marxist Pioneer of Mathematical Logic in the Soviet Union.Dimitris Kilakos - 2019 - Transversal: International Journal for the Historiography of Science 6:49-64.
    K. Marx’s 200th jubilee coincides with the celebration of the 85 years from the first publication of his “Mathematical Manuscripts” in 1933. Its editor, Sofia Alexandrovna Yanovskaya (1896–1966), was a renowned Soviet mathematician, whose significant studies on the foundations of mathematics and mathematical logic, as well as on the history and philosophy of mathematics are unduly neglected nowadays. Yanovskaya, as a militant Marxist, was actively engaged in the ideological confrontation with idealism and its influence on modern (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10. Temporal Logic Mathematical Foundations and Computational Aspects.Dov M. Gabbay, Ian Hodkinson & Mark Reynolds - 1994
     
    Export citation  
     
    Bookmark   24 citations  
  11.  8
    Foundations of Mathematical Logic.William Craig - 1963 - Journal of Symbolic Logic 45 (2):377-378.
    Direct download  
     
    Export citation  
     
    Bookmark   49 citations  
  12.  51
    New Foundations for Mathematical Logic.W. V. Quine - 1937 - Journal of Symbolic Logic 2 (2):86-87.
    Direct download  
     
    Export citation  
     
    Bookmark   49 citations  
  13.  60
    Jack H. Silver. Counting the Number of Equivalence Classes of Borel and Coanalytic Equivalence Relations. Annals of Mathematical Logic, Vol. 18 , Pp. 1–28. - John P. Burgess. Equivalences Generated by Families of Borel Sets. Proceedings of the American Mathematical Society. Vol. 69 , Pp. 323–326. - John P. Burgess. A Reflection Phenomenon in Descriptive Set Theory. Fundamenta Mathematicae. Vol. 104 , Pp. 127–139. - L. Harrington and R. Sami. Equivalence Relations, Projective and Beyond. Logic Colloquium '78, Proceedings of the Colloquium Held in Mons, August 1978, Edited by Maurice Boffa, Dirk van Dalen, and Kenneth McAloon, Studies in Logic and the Foundations of Mathematics, Vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, Pp. 247–264. - Leo Harrington and Saharon Shelah. Counting Equivalence Classes for Co-Κ-Souslin Equivalence Relations. Logic Colloquium '80, Papers Intended for the European Summer Meeting of the Association for Symbolic Logic, Edit. [REVIEW]Alain Louveau - 1987 - Journal of Symbolic Logic 52 (3):869-870.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14. The Axiom of Choice in Quine's New Foundations for Mathematical Logic.Ernst P. Specker - 1954 - Journal of Symbolic Logic 19 (2):127-128.
  15.  36
    George Boolos. The Iterative Conception of Set. The Journal of Philosophy, Vol. 68 , Pp. 215–231. - Dana Scott. Axiomatizing Set Theory. Axiomatic Set Theory, Edited by Thomas J. Jech, Proceedings of Symposia in Pure Mathematics, Vol. 13 Part 2, American Mathematical Society, Providence1974, Pp. 207–214. - W. N. Reinhardt. Remarks on Reflection Principles, Large Cardinals, and Elementary Embeddings. Axiomatic Set Theory, Edited by Thomas J. Jech, Proceedings of Symposia in Pure Mathematics, Vol. 13 Part 2, American Mathematical Society, Providence1974, Pp. 189–205. - W. N. Reinhardt. Set Existence Principles of Shoenfield, Ackermann, and Powell. Fundament a Mathematicae, Vol. 84 , Pp. 5–34. - Hao Wang. Large Sets. Logic, Foundations of Mathematics, and Computahility Theory. Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada–1975, Edited by Robert E. Butts and Jaakko Hintikka, The University of Western. [REVIEW]John P. Burgess - 1985 - Journal of Symbolic Logic 50 (2):544-547.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  30
    Daniel Lacombe. Recursion Theoretic Structure for Relational Systems. Logic Colloquium '69, Proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969, Edited by R. O. Gandy and C. E. M. Yates, Studies in Logic and the Foundations of Mathematics, Vol. 61, North-Holland Publishing Company, Amsterdam and London1971, Pp. 3–17. [REVIEW]Carl E. Gordon - 1975 - Journal of Symbolic Logic 40 (3):454-455.
  17.  26
    Gerald E. Sacks. Metarecursively Enumerable Sets and Admissible Ordinals. Bulletin of the American Mathematical Society, Vol. 72 , Pp. 59–64. - Gerald E. Sacks. Post's Problem, Admissible Ordinals, and Regularity. Transactions of the American Mathematical Society, Vol. 124 , Pp. 1–23. - Gerald E. Sacks. Metarecursion Theory. Sets, Models and Recursion Theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, Edited by John N. Crossley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, Pp. 243–263. - Graham C. DriscollJr., Metarecursively Enumerable Sets and Their Metadegrees. The Journal of Symbolic Logic, Vol. 33 , Pp. 389–11. [REVIEW]Richard A. Platek - 1969 - Journal of Symbolic Logic 34 (1):115-116.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  20
    Abraham Robinson. Forcing in Model Theory. Symposia Mathematica, Vol. 5, Istituto Nazionale di Alta Matematica, Academic Press, London and New York 1971, Pp. 69–82. - Jon Barwise and Abraham Robinson. Completing Theories by Forcing. Annals of Mathematical Logic, Vol. 2 No. 2 , Pp. 119–142. - Abraham Robinson. Infinite Forcing in Model Theory. Proceedings of the Second Scandinavian Logic Symposium, Edited by J. E. Fenstad, Studies in Logic and the Foundations of Mathematics, Vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, Pp. 317–340. - Abraham Robinson. Forcing in Model Theory. Actes du Congrès International des Mathematiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, Pp. 245–250. [REVIEW]H. Jerome Keisler - 1975 - Journal of Symbolic Logic 40 (4):633-634.
  19.  19
    R. Harrop. Some Forms of Models of Propositional Calculi. Contributions to Mathematical Logic, Proceedings of the Logic Colloquium, Hannover 1966, Edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1968, Pp. 163–174. - Ronald Harrop. On the Equivalence for Non-Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 17 , Pp. 137–143. [REVIEW]Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):251.
  20.  18
    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, D.C., on the Order of Centralny Instytut Informacji Naukowo-Technicznej I Ekonomicznej, by Państwowe Wydawnictwo Naukowe, Warsaw 1963 , Pp. 1–2. - A. Mostowski and J. Łoś. I. Foundations of Mathematics, Theory of Sets and Mathematical Logic. 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, D.C., on the Order of Centralny Instytut Informacji Naukowo-Technicznej I Ekonomicznej, by Państwowe Wydawnictwo Naukowe, Warsaw 1963 , Pp. 4–17. - S. Drobot and S. Straszewicz. XI. History, Teaching, Popularization and Organization of Mathematics. Bibliog. [REVIEW]Alonzo Church - 1966 - Journal of Symbolic Logic 31 (3):517-517.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21.  59
    Wang Hao. Eighty Years of Foundational Studies. A Survey of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, Pp. 34–56. A Reprint of XXVIII 173. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (4):288-288.
  22.  16
    J. Diller. Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen. Contributions to Mathematical Logic, Proceedings of the Logic Colloquium, Hannover 1966, Edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1968, Pp. 109–120. [REVIEW]William A. Howard - 1975 - Journal of Symbolic Logic 40 (3):453-454.
  23.  16
    J. R. Shoenfield. Measurable Cardinals. Logic Colloquium '69, Proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969, Edited by R. O. Gandy and C. E. M. Yates, Studies in Logic and the Foundations of Mathematics, Vol. 61, North-Holland Publishing Company, Amsterdam and London1971, Pp. 19–49. [REVIEW]Kenneth Kunen - 1975 - Journal of Symbolic Logic 40 (1):93-94.
  24.  50
    The Combinatory Foundations of Mathematical Logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (2):49-64.
  25.  16
    Engeler E.. Algorithmic Logic. Foundations of Computer Science, Edited by de Bakker J. W., Mathematical Centre Tracts 63, Mathematisch Centrum, Amsterdam 1975, Pp. 55–85. [REVIEW]Andrzej Salwicki - 1977 - Journal of Symbolic Logic 42 (3):420-421.
  26. Classical Mathematical Logic. The Semantic Foundations of Logic.Richard L. Epstein - 2007 - Bulletin of Symbolic Logic 13 (4):540-541.
  27.  35
    Kenneth Kunen, The Foundations of Mathematics, Studies in Logic, Mathematical Logic and Foundations, Vol. 19. College Publications, London, 2009, Vii + 251 Pp. [REVIEW]Steffen Lempp - 2016 - Bulletin of Symbolic Logic 22 (2):287-288.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  11
    Haskell B. Curry. Foundations of Mathematical Logic. McGraw-Hill Book Company, Inc., New York, San Francisco, Toronto, and London, 1963, Xii + 408 Pp. [REVIEW]William Craig - 1973 - Journal of Symbolic Logic 38 (1):149.
  29.  31
    Handbook of Mathematical Logic, Edited by Barwise Jon with the Cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in Logic and the Foundations of Mathematics, Vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , Xi + 1165 Pp.Smoryński C.. D.1. The Incompleteness Theorems. Pp. 821–865.Schwichtenberg Helmut. D.2. Proof Theory: Some Applications of Cut-Elimination. Pp. 867–895.Statman Richard. D.3. Herbrand's Theorem and Gentzen's Notion of a Direct Proof. Pp. 897–912.Feferman Solomon. D.4. Theories of Finite Type Related to Mathematical Practice. Pp. 913–971.Troelstra A. S.. D.5. Aspects of Constructive Mathematics. Pp. 973–1052.Fourman Michael P.. D.6. The Logic of Topoi. Pp. 1053–1090.Barendregt Henk P.. D.1. The Type Free Lambda Calculus. Pp. 1091–1132.Paris Jeff and Harrington Leo. D.8. A Mathematical Incompleteness in Peano Arithmetic. Pp. 1133–1142. [REVIEW]W. A. Howard - 1984 - Journal of Symbolic Logic 49 (3):980-988.
  30.  30
    Mostowski Andrzej. Thirty Years of Foundational Studies. Lectures on the Development of Mathematical Logic and the Study of the Foundations of Mathematics in 1930–1964. Acta Philosophica Fennica, No. 17, Helsinki 1965, and Barnes & Noble, Inc., New York 1966, 180 Pp.; Second Printing, Helsinki 1967, 180 Pp. [REVIEW]Abraham Robinson - 1968 - Journal of Symbolic Logic 33 (1):111-112.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  30
    G. Kreisel. Some Reasons for Generalizing Recursion Theory. Logic Colloquium '69, Proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969, Edited by R. O. Gandy and C. E. M. Yates, Studies in Logic and the Foundations of Mathematics, Vol. 61, North-Holland Publishing Company, Amsterdam and London1971, Pp. 139–198. [REVIEW]C. E. M. Yates - 1975 - Journal of Symbolic Logic 40 (2):230-232.
  32.  8
    Haskell B. Curry. Foundations of Mathematical Logic. Corrected Reprint of XXXVIII 149. Dover Publications, Inc., New York1977, Viii + 408 Pp. [REVIEW]William Craig - 1980 - Journal of Symbolic Logic 45 (2):377-378.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  27
    Jensen R. B.. Concrete Models of Set Theory. Sets, Models and Recursion Theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, Edited by Crossley John N., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, Pp. 44–74. [REVIEW]Frank R. Drake - 1970 - Journal of Symbolic Logic 35 (3):472-473.
  34.  21
    Rosser Barkley. On the Consistency of Quine's New Foundations for Mathematical Logic[REVIEW]Paul Bernays - 1940 - Journal of Symbolic Logic 5 (1):32-33.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  35.  26
    Tarski A.. Equational Logic and Equational Theories of Algebras. Contributions to Mathematical Logic, Proceedings of the Logic Colloquium, Hannover 1966, Edited by Arnold Schmidt H., Schütte K., and Thiele H.-J., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1968, Pp. 275–288. [REVIEW]Ralph Seifert - 1971 - Journal of Symbolic Logic 36 (1):161-162.
  36.  24
    J. C. E. Dekker. Regressive Isols. Sets, Models and Recursion Theory. Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, Edited by John N. Crossley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, Pp. 272–296. [REVIEW]C. E. Bredlau - 1969 - Journal of Symbolic Logic 34 (3):519-519.
  37.  24
    Wang Hao. Some Partial Systems. A Survey of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, Pp. 507–534. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):100-101.
  38.  24
    Karp Carol. A Proof of the Relative Consistency of the Continuum Hypothesis. Sets, Models and Recursion Theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, Edited by Crossley John N., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, Pp. 1–32. [REVIEW]Leslie H. Tharp - 1970 - Journal of Symbolic Logic 35 (2):344-345.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  17
    Specker Ernst P.. The Axiom of Choice in Quine's New Foundations for Mathematical Logic. Proceedings of the National Academy of Sciences of the United States of America, Vol. 39 , Pp. 972–975. [REVIEW]J. Barkley Rosser - 1954 - Journal of Symbolic Logic 19 (2):127-128.
  40.  7
    Bibliography of Soviet Work in the Field of Mathematical Logic and the Foundations of Mathematics, From 1917--1957.Guido Küng - 1962 - Notre Dame Journal of Formal Logic 3 (1):1-40.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  41.  20
    Kreisel G.. On the Concepts of Completeness and Interpretation of Formal Systems. Fundamenta Mathematicae, Vol. 39 , Pp. 103–127.Kreisel G.. Applications of Mathematical Logic to Various Branches of Mathematics. Applications Scientifiques de la Logique Mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris — 25–30 Août 1952, Institut Henri Poincaré, Collection de Logique Mathématique, Ser. A No. 5, Lithographed , Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, Pp. 37–49.Robinson A. And Kreisel G.. Discussion. Applications Scientifiques de la Logique Mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris — 25–30 Août 1952, Institut Henri Poincaré, Collection de Logique Mathématique, Ser. A No. 5, Lithographed , Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, P. 50.Kreisel G.. Models, Translations, and Interpretations. Mathematical Interpretation of Formal Systems, Studies in Logic and the Foundations of Ma. [REVIEW]William Craig - 1959 - Journal of Symbolic Logic 24 (3):236-238.
  42.  20
    Moschovakis J. R.. Disjunction and Existence in Formalized Intuitionistic Analysis. Sets, Models and Recursion Theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, Edited by Crossley John N., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, Pp. 309–331. [REVIEW]W. A. Howard - 1970 - Journal of Symbolic Logic 35 (4):587-588.
  43.  18
    Ackermann Wilhelm. Philosophische Bemerkungen Zur Mathematischen Logik Und Zur Mathematischen Grundlagenforschung. Ratio , Vol. 1 No. 1 , Pp. 1–20.Ackermann Wilhelm. Philosophical Observations on Mathematical Logic and on Investigations Into the Foundations of Mathematics. English Translation. Ratio , Vol. 1 No. 1 , Pp. 1–23. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (3):342-343.
  44.  17
    Wang Hao. The Predicate Calculus. A Survey of Mathematical Logic. Studies in Logic and the Foundations of Mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, Pp. 307–321. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (3):250-250.
  45.  10
    Quine Willard Van Orman. On What There Is. Front a Logical Point of View, by Quine Willard Van Orman, Harvard University Press, Cambridge, Mass., 1953, Pp. 1–19.Quine Willard Van Orman. Two Dogmas of Empiricism. Front a Logical Point of View, by Quine Willard Van Orman, Harvard University Press, Cambridge, Mass., 1953, Pp. 20–46.Quine Willard Van Orman. The Problem of Meaning in Linguistics. Front a Logical Point of View, by Quine Willard Van Orman, Harvard University Press, Cambridge, Mass., 1953, Pp. 47–64.Quine Willard Van Orman. Identity, Ostension, and Hypostasis. Front a Logical Point of View, by Quine Willard Van Orman, Harvard University Press, Cambridge, Mass., 1953, Pp. 65–79. , Pp. 621–633.)Quine Willard Van Orman. New Foundations for Mathematical Logic. Front a Logical Point of View, by Quine Willard Van Orman, Harvard University Press, Cambridge, Mass., 1953, Pp. 80–101. [REVIEW]John G. Kemeny - 1954 - Journal of Symbolic Logic 19 (2):134-134.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  18
    Foundations of Mathematical Logic[REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):583-584.
    Although conceived as a textbook, this extraordinary work contains a great deal of material which is either completely new or which has not appeared before in book form. It is intended as an upperlevel text for those with some familiarity with the subject already. After the introduction, there is a long chapter on formal systems which contains new material on algorithms and the theory of definition; epitheory of formal systems is then discussed, followed by an elegant algebraic treatment of (...). Curry then formulates systems for negation and implication in the next two chapters, follows them by quantification theory, and ends with a sketch of modal logic. What distinguishes this from other logic texts which try to cover about the same ground is this: Curry exercises virtually exquisite care in his analysis of some of the more difficult points, variables and substitution, for example, that others often tend to gloss over. Each chapter has a section dealing with supplementary but related topics so as to give the reader some idea where the subject goes. There is an enormous bibliography and hundreds of references, including historical ones; these also increase its scholarly value. The author takes an informal semantical viewpoint about logic—trying to treat meaning as well as form as essential to logic. This view and a pellucid style make things move freely in the most difficult spots; only Curry's occasionally peculiar terminology might be confusing.—P. J. M. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  15
    A. A. Markov. An Approach to Constructive Mathematical Logic. Logic, Methodology and Philosophy of Science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, Edited by B. Van Rootselaar and J. F. Staal, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1968, Pp. 283–294. - A. A. Markov. Essai de Construction d'Une Logique de la Mathématique Constructive. Revue Internationale de Philosophic, Vol. 25 , Pp. 477–507. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  5
    The Combinatory Foundations of Mathematical Logic.Haskell B. Curry - 1943 - Journal of Symbolic Logic 8 (1):31-31.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  34
    On the Consistency of Quine's New Foundations for Mathematical Logic.Barkley Rosser - 1939 - Journal of Symbolic Logic 4 (1):15-24.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  50.  12
    Handbook of Mathematical Logic, Edited by Barwise Jon with the Cooperation of Keisler H. J., Kunen K., Moschovakis Y. N., and Troelstra A. S., Studies in Logic and the Foundations of Mathematics, Vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 , Xi + 1165 Pp. [REVIEW]Akihiro Kanamori - 1984 - Journal of Symbolic Logic 49 (3):971-975.
1 — 50 / 995