Description

Book Synopsis
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.

Table of Contents
Partial table of contents:

MATHEMATICAL STRUCTURES AND THEIR THEORIES.

Relational Systems.

Boolean Algebras.

Terms and Formulas.

Substitution of Terms.

Theorems and Proofs.

Generalization Rule and Elimination of Constants.

Peano Arithmetic.

Ultraproducts.

Supplementary Questions.

SELECTED TOPICS.

Total Functions.

Incompleteness of Arithmetic.

Tarski's Theorem.

Matiyasevich's Theorem.

Guide to Further Reading.

References.

Index.

Logic of Mathematics A Modern Course of Classical

    Product form

    £147.56

    Includes FREE delivery

    RRP £163.95 – you save £16.39 (9%)

    Order before 4pm today for delivery by Tue 7 Jul 2026.

    A Hardback by Zofia Adamowicz, Pawel Zbierski

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Logic of Mathematics A Modern Course of Classical by Zofia Adamowicz

      Publisher: John Wiley & Sons Inc
      Publication Date: 07/04/1997
      ISBN13: 9780471060260, 978-0471060260
      ISBN10: 0471060267
      Also in:
      Mathematics

      Description

      Book Synopsis
      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.

      Table of Contents
      Partial table of contents:

      MATHEMATICAL STRUCTURES AND THEIR THEORIES.

      Relational Systems.

      Boolean Algebras.

      Terms and Formulas.

      Substitution of Terms.

      Theorems and Proofs.

      Generalization Rule and Elimination of Constants.

      Peano Arithmetic.

      Ultraproducts.

      Supplementary Questions.

      SELECTED TOPICS.

      Total Functions.

      Incompleteness of Arithmetic.

      Tarski's Theorem.

      Matiyasevich's Theorem.

      Guide to Further Reading.

      References.

      Index.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account