Foundations of Mathematical Logic

Author: Haskell Brooks Curry
Publisher: Courier Corporation
ISBN: 0486634620
Release Date: 1963
Genre: Mathematics

Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods — including algorithms and epitheory — and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.

Foundations of Mathematical Logic

Author: Haskell B. Curry
Publisher: Courier Corporation
ISBN: 9780486153056
Release Date: 2012-05-24
Genre: Mathematics

Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markov's approach to algorithms, elementary facts about lattices, logical connectives, and more. 1963 edition.

Mathematical Logic and the Foundations of Mathematics

Author: G. T. Kneebone
Publisher: Dover Publications
ISBN: 0486417123
Release Date: 2001
Genre: Mathematics

Ideal for students intending to specialize in the topic. Part I discusses traditional and symbolic logic. Part II explores the foundations of mathematics. Part III focuses on the philosophy of mathematics.

Introduction to Elementary Mathematical Logic

Author: Abram Aronovich Stolyar
Publisher: Courier Corporation
ISBN: 9780486645612
Release Date: 1983
Genre: Mathematics

This lucid, non-intimidating presentation by a Russian scholar explores propositional logic, propositional calculus, and predicate logic. Topics include computer science and systems analysis, linguistics, and problems in the foundations of mathematics. Accessible to high school students, it also constitutes a valuable review of fundamentals for professionals. 1970 edition.

Introduction to the Foundations of Mathematics

Author: Raymond L. Wilder
Publisher: Courier Corporation
ISBN: 9780486276205
Release Date: 2013-09-26
Genre: Mathematics

Classic undergraduate text acquaints students with fundamental concepts and methods of mathematics. Topics include axiomatic method, set theory, infinite sets, groups, intuitionism, formal systems, mathematical logic, and much more. 1965 second edition.

An Introduction to Symbolic Logic

Author: Langer
Publisher: Courier Corporation
ISBN: 0486601641
Release Date: 2011-11
Genre: Mathematics

Famous classic has introduced countless readers to symbolic logic with its thorough and precise exposition. Starts with simple symbols and conventions and concludes with the Boole-Schroeder and Russell-Whitehead systems. No special knowledge of mathematics necessary. "One of the clearest and simplest introductions to a subject which is very much alive." — Mathematics Gazette.

Foundations and Fundamental Concepts of Mathematics

Author: Howard Eves
Publisher: Courier Corporation
ISBN: 9780486132204
Release Date: 2012-04-10
Genre: Mathematics

Third edition of popular undergraduate-level text offers historic overview, readable treatment of mathematics before Euclid, Euclid's Elements, non-Euclidean geometry, algebraic structure, formal axiomatics, sets, more. Problems, some with solutions. Bibliography.

Grundz ge der Mengenlehre

Author: Felix Hausdorff
Publisher: American Mathematical Soc.
ISBN: 082840061X
Release Date: 1949-01-01
Genre: Mathematics

This reprint of the original 1914 edition of this famous work contains many topics that had to be omitted from later editions, notably, Symmetric Sets, Principle of Duality, most of the ``Algebra'' of Sets, Partially Ordered Sets, Arbitrary Sets of Complexes, Normal Types, Initial and Final Ordering, Complexes of Real Numbers, General Topological Spaces, Euclidean Spaces, the Special Methods Applicable in the Euclidean Plane, Jordan's Separation Theorem, the Theory of Content and Measure, the Theory of the Lebesgue Integral. The text is in German.

Naive Mengenlehre

Author: Paul R. Halmos
Publisher: Vandenhoeck & Ruprecht
ISBN: 3525405278
Release Date: 1976
Genre: Arithmetic


Set Theory and Logic

Author: Robert R. Stoll
Publisher: Courier Corporation
ISBN: 9780486139647
Release Date: 2012-05-23
Genre: Mathematics

Explores sets and relations, the natural number sequence and its generalization, extension of natural numbers to real numbers, logic, informal axiomatic mathematics, Boolean algebras, informal axiomatic set theory, several algebraic theories, and 1st-order theories.

Kurt G del

Author: Rebecca Goldstein
Publisher:
ISBN: 3492249604
Release Date: 2007
Genre:


Logic for Computer Science

Author: Jean H. Gallier
Publisher: Courier Dover Publications
ISBN: 9780486780825
Release Date: 2015-06-18
Genre: Computers

This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen's cut elimination theorem and applications, and Gentzen's sharpened Hauptsatz and Herbrand's theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information.