Mathematical Logic

Mathematical Logic
ISBN-10
1475723563
ISBN-13
9781475723564
Series
Mathematical Logic
Pages
304
Language
English
Published
2014-01-15
Author
SPRINGER

Description

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines.

Get the book

Amazon.com
Amazon.com
Search the book
eBay.com
eBay.com
Search the book

Other editions

Similar books

  • Mathematical Logic
    Mathematical Logic
    By Stephen Cole Kleene

    Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others, including Gödel's completeness theorem, Gentzen's theorem, more.

  • Mathematical Logic
    Mathematical Logic
    By Wolfgang Thomas, H.-D. Ebbinghaus, J. Flum

    This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines.

  • A Friendly Introduction to Mathematical Logic
    A Friendly Introduction to Mathematical Logic
    By Christopher C. Leary, Lars Kristiansen

    The text is designed to be used either in an upper division undergraduate classroom, or for self study.

  • A Profile of Mathematical Logic
    A Profile of Mathematical Logic
    By Howard DeLong

    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.

  • Mathematics and Logic
    Mathematics and Logic
    By Mark Kac, Stanislaw M. Ulam

    (24073-8, 24074-6) Two-volume Set $29.90 PROBABILITY: ELEMENTS OF THE MATHEMATICAL THEORY, C. R. Heathcote. (41 1494) $8.95 INTRODUCTION TO NUMERICAL ANALYSIS, Francis B. Hildebrand. (65363-3) $16.95 METHODS OF APPLIED MATHEMATICS, ...

  • An Introduction to Mathematical Logic
    An Introduction to Mathematical Logic
    By Richard E. Hodel

    This comprehensive overview ofmathematical logic is designedprimarily for advanced undergraduatesand graduate studentsof mathematics.

  • Fundamentals of Mathematical Logic
    Fundamentals of Mathematical Logic
    By Peter G. Hinman

    This follows from the LaJ 100 Robinson Interpolation Theorem as the Craig Interpolation Theorem 3.3.13 did from the (first-order) Robinson Interpolation Theorem. The following example shows that the restriction to countable sets in the ...

  • Mathematical Logic
    Mathematical Logic
    By Ian Chiswell, Wilfrid Hodges

    Including extensive exercises and selected solutions, this text is ideal for students in Logic, Mathematics, Philosophy, and Computer Science.

  • A Beginner's Guide to Mathematical Logic
    A Beginner's Guide to Mathematical Logic
    By Raymond M. Smullyan

    Combining stories of great writers and philosophers with quotations and riddles, this completely original text for first courses in mathematical logic examines problems related to proofs, propositional logic and first-order logic, ...

  • Introduction to Mathematical Logic, V1: Princeton Mathematical Series
    Introduction to Mathematical Logic, V1: Princeton Mathematical Series
    By Alonzo Church

    Introduction to Mathematical Logic, V1: Princeton Mathematical Series