Search results for 'Logic, Symbolic and mathematical' (try it on Scholar)

1000+ found
Order:
  1. Walter Carnielli (1986). Seventh Latin American on Mathematical Logic- Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985. 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  
  2.  99
    Imre Lakatos (ed.) (1976). Proofs and Refutations: The Logic of Mathematical Discovery. 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 discovery or (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   158 citations  
  3.  6
    Johanna N. Y. Franklin (forthcoming). 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] 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.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  4.  13
    Herbert B. Enderton (1972). A Mathematical Introduction to Logic. 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  
  5.  5
    Review by: James Cummings (2015). 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] Bulletin of Symbolic Logic 21 (2):188-192.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6.  7
    James W. Cummings (2000). 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] Bulletin of Symbolic Logic 6 (1):86-89.
    Direct download  
     
    Export citation  
     
    My bibliography  
  7.  5
    Howard S. Becker (2002). 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] Bulletin of Symbolic Logic 8 (4):546-548.
    Direct download  
     
    Export citation  
     
    My bibliography  
  8.  2
    Fernando Ferreira (2002). 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] Bulletin of Symbolic Logic 8 (4):534-535.
    Direct download  
     
    Export citation  
     
    My bibliography  
  9.  2
    Robert McNaughton (1997). 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] Journal of Symbolic Logic 31 (4):659-660.
    Direct download  
     
    Export citation  
     
    My bibliography  
  10.  4
    Andrea Cantini (2002). 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] Bulletin of Symbolic Logic 8 (4):535-536.
    Direct download  
     
    Export citation  
     
    My bibliography  
  11.  9
    G. Sabbagh (1994). Conference on Mathematical Logic: Co-Sponsored by the Association for Symbolic Logic, Pasris, 1992. Journal of Symbolic Logic 59 (1):345.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  12.  11
    J. L. Bell (1977). A Course in Mathematical Logic. Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..
    A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.
    Direct download  
     
    Export citation  
     
    My bibliography   30 citations  
  13.  5
    Joseph R. Shoenfield (1967). Mathematical Logic. Reading, Mass.,Addison-Wesley Pub. Co..
  14.  48
    Stephen Cole Kleene (1967/2002). Mathematical Logic. Dover Publications.
    Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   29 citations  
  15.  10
    S. B. Cooper & J. K. Truss (eds.) (1999). Models and Computability: Invited Papers From Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Cambridge University Press.
    Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  16. S. W. P. Steen (1972). Mathematical Logic with Special Reference to the Natural Numbers. Cambridge [Eng.]University Press.
    This book presents a comprehensive treatment of basic mathematical logic. The author's aim is to make exact the vague, intuitive notions of natural number, preciseness, and correctness, and to invent a method whereby these notions can be communicated to others and stored in the memory. He adopts a symbolic language in which ideas about natural numbers can be stated precisely and meaningfully, and then investigates the properties and limitations of this language. The treatment of mathematical concepts in (...)
     
    Export citation  
     
    My bibliography  
  17.  69
    Michał Walicki (2012). Introduction to Mathematical Logic. 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 semantics (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  18. P. B. Andrews (2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer Academic Publishers.
    This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  19.  21
    Ian Chiswell (2007). Mathematical Logic. Oxford University Press.
    Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed with clean formal mathematics. Alongside the practical examples, readers learn what can and can't be calculated; for example the correctness of a (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  20.  6
    Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic (1999). Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW] Monograph Collection (Matt - Pseudo).
    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 and (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  21.  33
    Patrick Suppes (1964/2002). First Course in Mathematical Logic. Dover Publications.
    This introduction to rigorous mathematical logic is simple enough in both presentation and context for students of a wide range of ages and abilities. Starting with symbolizing sentences and sentential connectives, it proceeds to the rules of logical inference and sentential derivation, examines the concepts of truth and validity, and presents a series of truth tables. Subsequent topics include terms, predicates, and universal quantifiers; universal specification and laws of identity; axioms for addition; and universal generalization. Throughout the book, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  38
    Elliott Mendelson (1964). Introduction to Mathematical Logic. Princeton, N.J.,Van Nostrand.
    The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ...
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   85 citations  
  23.  41
    Haskell B. Curry (1963/1977). Foundations of Mathematical Logic. 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  
     
    My bibliography   54 citations  
  24.  58
    Alonzo Church (1956). Introduction to Mathematical Logic. Princeton, Princeton University Press.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   95 citations  
  25.  50
    Hans Reichenbach (1980). Elements of Symbolic Logic. Dover Publications.
  26.  73
    W. V. Quine (1951). Mathematical Logic. Cambridge, Harvard University Press.
    INTRODUCTION MATHEMATICAL logic differs from the traditional formal logic so markedly in method, and so far surpasses it in power and subtlety, ...
    Direct download  
     
    Export citation  
     
    My bibliography   85 citations  
  27.  17
    J. Donald Monk (1976). Mathematical Logic. Springer-Verlag.
    " There are 31 chapters in 5 parts and approximately 320 exercises marked by difficulty and whether or not they are necessary for further work in the book.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   41 citations  
  28.  3
    William Gustason (1973). Elementary Symbolic Logic. New York,Holt, Rinehart and Winston.
  29.  21
    Heinz-Dieter Ebbinghaus (1996). Mathematical Logic. Springer.
    This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The most (...)
    Direct download  
     
    Export citation  
     
    My bibliography   18 citations  
  30.  30
    Emil Leon Post (1941). The Two-Valued Iterative Systems of Mathematical Logic. London, H. Milford, Oxford University Press.
    INTRODUCTION In ita original form the present paper was presented to the American Mathematical Society, April 2k,, as a companion piece to the writer's ...
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  31.  4
    A. A. Stoli͡ar (1984). Introduction to Elementary Mathematical Logic. Dover Publications.
    Lucid, non-intimidating presentation of propositional logic, propositional calculus and predicate logic by Russian scholar. Topics of concern in a variety of fields, including computer science, systems analysis, linguistics, etc. Accessible to high school students; valuable review of fundamentals for professionals. Exercises (no solutions). Preface. Three appendices. Indices. Bibliogaphy. 14 figures.
    Direct download  
     
    Export citation  
     
    My bibliography  
  32.  47
    Rudolf Carnap (1958). Introduction to Symbolic Logic and its Applications. New York, Dover Publications.
    Clear, comprehensive, intermediate introduction to logical languages, applications of symbolic logic to physics, mathematics, biology.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   28 citations  
  33.  2
    George Boole (1951). An Investigation of the Laws of Thought on Which Are Founded the Mathematical Theories of Logic and Probabilities. Dover Constable.
    Direct download  
     
    Export citation  
     
    My bibliography   30 citations  
  34.  12
    Jon Barwise (ed.) (1977). Handbook of Mathematical Logic. North-Holland.
  35. Chin-Liang Chang (1973/1987). Symbolic Logic and Mechanical Theorem Proving. Academic Press.
    This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4–9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
     
    Export citation  
     
    My bibliography   13 citations  
  36.  23
    John Venn (1894/1971). Symbolic Logic. New York,B. Franklin.
    SYMBOLIC LOGIC. CHAPTER I. ON THE FORMS OF LOGICAL PROPOSITION. IT has been mentioned in the Introduction that the System of Logic which this work is ...
    Direct download  
     
    Export citation  
     
    My bibliography   26 citations  
  37.  55
    David Hilbert (1950/1999). Principles of Mathematical Logic. Ams Chelsea.
    Although symbolic logic has grown considerably in the subsequent decades, this book remains a classic.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   17 citations  
  38. Joel W. Robbin (1969/2006). Mathematical Logic: A First Course. Dover Publications.
    Suitable for advanced undergraduates and graduate students from diverse fields and varying backgrounds, this self-contained course in mathematical logic features numerous exercises that vary in difficulty. The author is a Professor of Mathematics at the University of Wisconsin.
     
    Export citation  
     
    My bibliography   9 citations  
  39. Richmond H. Thomason (1970/1969). Symbolic Logic. [New York]Macmillan.
  40.  5
    Georg Kreisel (1967). Elements of Mathematical Logic. Amsterdam, North Holland Pub. Co..
    Direct download  
     
    Export citation  
     
    My bibliography   8 citations  
  41.  3
    Paul C. Rosenbloom (1950/2005). The Elements of Mathematical Logic. New York]Dover Publications.
    An excellent introduction to mathematical logic, this book provides readers with a sound knowledge of the most important approaches to the subject, stressing the use of logical methods in attacking nontrivial problems. It covers the logic of classes, of propositions, of propositional functions, and the general syntax of language, with a brief introduction that also illustrates applications to so-called undecidability and incompleteness theorems. Other topics include the simple proof of the completeness of the theory of combinations, Church's theorem on (...)
    Direct download  
     
    Export citation  
     
    My bibliography   10 citations  
  42.  2
    Andrzej Grzegorczyk (1974). An Outline of Mathematical Logic: Fundamental Results and Notions Explained with All Details. D. Reidel Pub. Co..
  43.  59
    Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.
    Noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. After historical survey, lucid treatment of set theory, model theory, recursion theory and constructivism and proof theory. Place of problems in development of theories of logic, logic’s relationship to computer science, more. Suitable for readers at many levels of mathematical sophistication. 3 appendixes. Bibliography. 1981 edition.
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  44. Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.
    Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a special appendix that shows how to use MacLogic as a teaching aid. There are graded exercises at the end of each chapter--more than 900 in all--with selected answers at the end of the book. Unlike competing texts, Modern (...)
     
    Export citation  
     
    My bibliography   3 citations  
  45.  18
    Jan Łukasiewicz (1963/1964). Elements of Mathematical Logic. New York, Macmillan.
    Direct download  
     
    Export citation  
     
    My bibliography   6 citations  
  46.  4
    Lewis Carroll (1958). Symbolic Logic and the Game of Logic. Dover Publications.
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  47.  3
    Hans Hermes (1973). Introduction to Mathematical Logic. New York,Springer-Verlag.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  48.  3
    Howard DeLong (1970/2004). A Profile of Mathematical Logic. Dover Publications.
  49. Gerald J. Massey (1970). Understanding Symbolic Logic. New York,Harper & Row.
  50.  38
    John N. Crossley (ed.) (1972/1990). What is Mathematical Logic? Dover Publications.
    This lively introduction to mathematical logic, easily accessible to non-mathematicians, offers an historical survey, coverage of predicate calculus, model theory, Godel’s theorems, computability and recursivefunctions, consistency and independence in axiomatic set theory, and much more. Suggestions for Further Reading. Diagrams.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
1 — 50 / 1000