Results for 'Logic, Symbolic and mathematical'

1000+ found
Order:
  1. 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 discovery or (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   185 citations  
  2. Mathematical Logic.W. V. Quine - 1940 - 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  
     
    Bookmark   114 citations  
  3.  59
    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  
     
    Bookmark   97 citations  
  4.  25
    Mathematical Logic.Joseph R. Shoenfield - 1967 - Reading, Mass., Addison-Wesley Pub. Co..
  5.  13
    Kolmogorov and Mathematical Logic.Vladimir A. Uspensky - 1992 - Journal of Symbolic Logic 57 (2):385-412.
  6.  35
    Symbolic Logic.John Venn - 1881 - 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  
     
    Bookmark   36 citations  
  7. Elements of Symbolic Logic.Hans Reichenbach - 1947 - London: Dover Publications.
  8.  71
    Mathematical Logic.Stephen Cole Kleene - 1967 - 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  
     
    Bookmark   64 citations  
  9.  47
    Mathematical Logic.J. Donald Monk - 1976 - 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  
     
    Bookmark   46 citations  
  10.  81
    Constructibility and Mathematical Existence.Charles S. Chihara - 1990 - Oxford University Press.
    This book is concerned with `the problem of existence in mathematics'. It develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. It explores the philosophical implications of such an approach through an examination of the writings of Field, Burgess, Maddy, Kitcher, and others.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   85 citations  
  11. Symbolic Logic.Irving Copi - 1954 - New York: Macmillan.
  12. Introduction to Mathematical Logic.Alonzo Church - 1956 - 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  
     
    Bookmark   165 citations  
  13.  64
    Introduction to Mathematical Logic.ALONZO CHURCH - 1944 - London: Oxford 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  
     
    Bookmark   170 citations  
  14.  89
    Introduction to Mathematical Logic.Elliott Mendelson - 1964 - Princeton: 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  
     
    Bookmark   142 citations  
  15. Symbolic Logic and Mechanical Theorem Proving.Chin-Liang Chang - 1973 - 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  
     
    Bookmark   17 citations  
  16.  24
    Symbolic Logic.Clarence Irving Lewis - 1932 - Dover Publications.
  17. Mathematical Logic: A First Course.Joel W. Robbin - 1969 - 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  
     
    Bookmark   12 citations  
  18. Modern Logic: A Text in Elementary Symbolic Logic.Graeme Forbes - 1994 - 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  
     
    Bookmark   16 citations  
  19.  44
    A Course in Mathematical Logic.J. L. Bell - 1977 - 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  
     
    Bookmark   46 citations  
  20.  27
    Mathematical Logic.Heinz-Dieter Ebbinghaus - 1996 - 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  
     
    Bookmark   36 citations  
  21. Logic, Sets and Information: Proceedings of the Tenth Brazilian Conference on Mathematical Logic.Walter A. Carnielli & Luiz Carlos P. D. Pereira (eds.) - 1995 - Centro de Lógica, Epistemologia e História da Ciência, Unicamp.
    Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Coleção CLE, volume 14, 1995. Centro De Lógica, Epistemologia e História da Ciência, Unicamp, Campinas, SP, Brazil.
     
    Export citation  
     
    Bookmark  
  22.  29
    Logic, Methodology and Philosophy of Science.Patrick Suppes (ed.) - 1963 - New York: American Elsevier Pub. Co..
    ELEMENTARY LOGIC GR. C. MOISIL Institute of Mathematics, Rumanian Academy, Bucharest, Rumania 1. We shall consider a typified logic of propositions. ...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  23.  45
    Symbolic Logic.Frederic B. Fitch - 1952 - New York: Ronald Press Co..
  24.  56
    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 and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Mathematical Logic and Hilbert's & Symbol.A. C. Leisenring - 1969 - London: Macdonald Technical & Scientific.
  26.  25
    Elementary Symbolic Logic.William Gustason - 1973 - New York: Holt, Rinehart and Winston.
  27.  96
    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   73 citations  
  28. 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  
  29.  28
    A Survey of Symbolic Logic.Clarence Irving Lewis - 1960 - New York: Dover Publications.
  30.  37
    Proofs and Refutations: The Logic of Mathematical Discovery.Imre Lakatos, John Worrall & Elie Zahar (eds.) - 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 raises some philosophical problems and some problems about the nature of mathematical discovery or creativity. Imre Lakatos is concerned throughout to combat the classical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  31. Symbolic Logic, Method and Development.Henry Bradford Smith - 1927 - New York: F. S. Crofts & Co..
  32. Mathematical Logic and Formalized Theories.Robert Rogers - 1971 - Amsterdam: North-Holland Pub. Co..
  33.  51
    The Elements of Mathematical Logic.Paul C. Rosenbloom - 1950 - 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 (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  34. Mathematical Logic and its Applications.Dimiter Genchev Skordev, Kurt Gödel & Advanced International Summer School and Conference on Mathematical Logic and Its Applications - 1987
     
    Export citation  
     
    Bookmark  
  35. Logic Colloquium '80 Papers Intended for the European Summer Meeting of the Association for Symbolic Logic.D. van Dalen, Daniel Lascar, T. J. Smiley & Association for Symbolic Logic - 1982
  36. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.P. B. Andrews - 2002 - 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  
     
    Bookmark   25 citations  
  37.  28
    Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978.Ayda I. Arruda, R. Chuaqui & Newton C. A. Costa (eds.) - 1980 - Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
    (or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  38.  98
    Introduction to Symbolic Logic and its Applications.Rudolf Carnap - 1958 - 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  
     
    Bookmark   47 citations  
  39. Temporal Logic Mathematical Foundations and Computational Aspects.Dov M. Gabbay, Ian Hodkinson & Mark Reynolds - 1994
     
    Export citation  
     
    Bookmark   27 citations  
  40.  21
    Symbolic Logic and the Game of Logic.Lewis Carroll - 1958 - Dover Publications.
  41.  57
    A Concise Introduction to Mathematical Logic.Wolfgang Rautenberg - 2006 - Springer.
    Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create a logistic foundation for mathematics. It steadily developed during the 20th century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy. While there are already several well-known textbooks on mathematical logic, this book is unique in that (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  42.  78
    Popular Lectures on Mathematical Logic.Hao Wang - 1981 - 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  
     
    Bookmark   8 citations  
  43.  88
    Principles of Mathematical Logic.David Hilbert - 1950 - Ams Chelsea.
    Although symbolic logic has grown considerably in the subsequent decades, this book remains a classic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  44.  53
    Elements of Mathematical Logic.Jan Łukasiewicz - 1963 - New York: Macmillan.
  45.  7
    Aristotelian and Mathematical Logic.Johannes Bendiek - 1951 - Journal of Symbolic Logic 16 (2):149-149.
  46. Compound Statements and Mathematical Logic.Vincent E. Cangelosi - 1967 - Columbus, Ohio, C.E. Merrill Books.
  47. Frege and Gödel: Two Fundamental Texts in Mathematical Logic.Jean Van Heijenoort (ed.) - 1970 - Cambridge, MA: Harvard University Press.
    Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.--Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.--Bibliography (p. [111]-116).
     
    Export citation  
     
    Bookmark   2 citations  
  48.  64
    Handbook of Mathematical Logic.Jon Barwise (ed.) - 1977 - North-Holland.
  49.  25
    An Investigation of the Laws of Thought on Which Are Founded the Mathematical Theories of Logic and Probabilities.George Boole - 1854 - Dover Constable.
  50.  19
    A Survey of Mathematical Logic.Georg Kreisel - 1966 - Philosophical Review 75 (2):240-244.
1 — 50 / 1000