Results for 'Mathematical Logic and Foundations'

995 found
Order:
  1.  47
    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.  78
    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   3 citations  
  4.  80
    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   56 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.  41
    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.  29
    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 (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9. Temporal Logic Mathematical Foundations and Computational Aspects.Dov M. Gabbay, Ian Hodkinson & Mark Reynolds - 1994
     
    Export citation  
     
    Bookmark   22 citations  
  10.  45
    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  
  11.  26
    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  
  12.  26
    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.
  13.  24
    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.
  14.  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.
  15.  15
    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.
  16.  6
    Foundations of Mathematical Logic.Haskell B. Curry - 1963 - Journal of Symbolic Logic 45 (2):377-378.
    Direct download  
     
    Export citation  
     
    Bookmark   39 citations  
  17.  14
    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.
  18.  14
    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.  13
    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.
  20.  12
    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.
  21.  9
    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.
  22.  33
    New Foundations for Mathematical Logic.W. V. Quine - 1937 - Journal of Symbolic Logic 2 (2):86-87.
    Direct download  
     
    Export citation  
     
    Bookmark   28 citations  
  23.  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  
  24.  52
    The Axiom of Choice in Quine's New Foundations for Mathematical Logic.Ernst P. Specker - 1954 - Journal of Symbolic Logic 19 (2):127-128.
  25.  57
    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.
  26.  30
    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  
  27.  39
    The Combinatory Foundations of Mathematical Logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (2):49-64.
  28.  28
    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  
  29.  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.
  30.  23
    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.
  31.  16
    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.
  32.  20
    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.
  33.  20
    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  
  34.  18
    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.
  35.  17
    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.
  36.  16
    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.
  37.  16
    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.
  38.  6
    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   2 citations  
  39.  15
    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.
  40.  15
    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.
  41.  9
    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  
  42.  13
    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.
  43.  9
    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  
  44.  29
    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  
  45.  10
    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]Daniel Lascar - 1984 - Journal of Symbolic Logic 49 (3):968-971.
  46.  9
    Hailperin Theodore. Foundations of Probability in Mathematical Logic. Philosophy of Science, Vol. 4 , Pp. 125–150. See Corrections, Ibid., P. 287. [REVIEW]Paul Henle - 1937 - Journal of Symbolic Logic 2 (2):95-96.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  9
    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.
  48.  9
    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  
  49.  7
    Definition by Indication in Quine's New Foundations for Mathematical Logic.Barkley Rosser - 1940 - Journal of Symbolic Logic 5 (1):33-33.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  8
    Quine W. V.. New Foundations for Mathematical Logic. The American Mathematical Monthly, Vol. 44 , Pp. 70–80.Paul Bernays - 1937 - Journal of Symbolic Logic 2 (2):86-87.
1 — 50 / 995