Book Description
This textbook gives a comprehensive and modern introduction to mathematical logic at the upper-undergraduate and beginning graduate level.
Author : Joseph Mileti
Publisher : Cambridge University Press
Page : 517 pages
File Size : 50,63 MB
Release : 2022-09-22
Category : Mathematics
ISBN : 1108833144
This textbook gives a comprehensive and modern introduction to mathematical logic at the upper-undergraduate and beginning graduate level.
Author : Herbert B. Enderton
Publisher : Elsevier
Page : 330 pages
File Size : 10,57 MB
Release : 2001-01-23
Category : Computers
ISBN : 0080496466
A Mathematical Introduction to Logic
Author : Zofia Adamowicz
Publisher : John Wiley & Sons
Page : 276 pages
File Size : 39,91 MB
Release : 2011-09-26
Category : Mathematics
ISBN : 1118030796
A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logic Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems. Using a strict mathematical approach, this is the only book available that contains complete and precise proofs of all of these important theorems: * Gödel's theorems of completeness and incompleteness * The independence of Goodstein's theorem from Peano arithmetic * Tarski's theorem on real closed fields * Matiyasevich's theorem on diophantine formulas Logic of Mathematics also features: * Full coverage of model theoretical topics such as definability, compactness, ultraproducts, realization, and omission of types * Clear, concise explanations of all key concepts, from Boolean algebras to Skolem-Löwenheim constructions and other topics * Carefully chosen exercises for each chapter, plus helpful solution hints At last, here is a refreshingly clear, concise, and mathematically rigorous presentation of the basic concepts of mathematical logic-requiring only a standard familiarity with abstract algebra. Employing a strict mathematical approach that emphasizes relational structures over logical language, this carefully organized text is divided into two parts, which explain the essentials of the subject in specific and straightforward terms. Part I contains a thorough introduction to mathematical logic and model theory-including a full discussion of terms, formulas, and other fundamentals, plus detailed coverage of relational structures and Boolean algebras, Gödel's completeness theorem, models of Peano arithmetic, and much more. Part II focuses on a number of advanced theorems that are central to the field, such as Gödel's first and second theorems of incompleteness, the independence proof of Goodstein's theorem from Peano arithmetic, Tarski's theorem on real closed fields, and others. No other text contains complete and precise proofs of all of these theorems. With a solid and comprehensive program of exercises and selected solution hints, Logic of Mathematics is ideal for classroom use-the perfect textbook for advanced students of mathematics, computer science, and logic.
Author : Alonzo Church
Publisher :
Page : 136 pages
File Size : 12,96 MB
Release : 1944
Category : Logic, Symbolic and mathematical
ISBN :
Author : Leila Haaparanta
Publisher : OUP USA
Page : 1005 pages
File Size : 47,20 MB
Release : 2009-06-18
Category : Philosophy
ISBN : 0195137310
This volume contains newly-commissioned articles covering the development of modern logic from the late medieval period (fourteenth century) through the end of the twentieth-century. It is the first volume to discuss the field with this breadth of coverage and depth. It will appeal to scholars and students of philosophical logic and the philosophy of logic.
Author : Howard DeLong
Publisher : Courier Corporation
Page : 322 pages
File Size : 47,78 MB
Release : 2012-09-26
Category : Mathematics
ISBN : 0486139158
This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Bach, whose Pulitzer Prize–winning book was inspired by this work.
Author : Jean van Heijenoort
Publisher : Harvard University Press
Page : 684 pages
File Size : 13,10 MB
Release : 1967
Category : Mathematics
ISBN : 9780674324497
Gathered together here are the fundamental texts of the great classical period in modern logic. A complete translation of Gottlob Frege’s Begriffsschrift—which opened a great epoch in the history of logic by fully presenting propositional calculus and quantification theory—begins the volume, which concludes with papers by Herbrand and by Gödel.
Author : Ian Stewart
Publisher : Courier Corporation
Page : 367 pages
File Size : 26,64 MB
Release : 2012-05-23
Category : Mathematics
ISBN : 0486134954
In this charming volume, a noted English mathematician uses humor and anecdote to illuminate the concepts of groups, sets, subsets, topology, Boolean algebra, and other mathematical subjects. 200 illustrations.
Author : Peter G. Hinman
Publisher : CRC Press
Page : 894 pages
File Size : 28,26 MB
Release : 2018-10-08
Category : Mathematics
ISBN : 1439864276
This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author's more than 35 years of teaching experience, the book develops students' intuition by presenting complex ideas in the simplest context for which they make sense. The book is appropriate for use as a classroom text, for self-study, and as a reference on the state of modern logic.
Author : Paul C. Rosenbloom
Publisher :
Page : 234 pages
File Size : 18,52 MB
Release : 1950
Category : Logic, Symbolic and mathematical
ISBN :
"This book is intended for readers who, while mature mathematically, have no knowledge of mathematical logic. We attempt to introduce the reader to the most important approaches to the subject, and, wherever possible within the limitations of space which we have set for ourselves, to give at least a few nontrivial results illustrating each of the important methods for attacking logical problems"--Preface.