Skip to main content Accessibility help
×
  1. Home
  2. Books
  3. Logic, Induction and Sets
  • Cited by 9
      • Show more authors
      • You may already have access via personal or institutional login
    • Select format
    • Publisher:
      Cambridge University Press
      Publication date:
      June 2012
      July 2003
      ISBN:
      9780511810282
      9780521826211
      9780521533614
      DOI:
      https://doi.org/10.1017/CBO9780511810282
      Dimensions:
      (228 x 152 mm)
      Weight & Pages:
      0.449kg, 244 Pages
      Dimensions:
      (228 x 152 mm)
      Weight & Pages:
      0.34kg, 246 Pages
      • Subjects:
      Mathematics (general), Mathematics, Logic, Categories and Sets
      Series:
      London Mathematical Society Student Texts (56)
    You may already have access via personal or institutional login
    • Selected: Digital
    Add to cart View cart Buy from Cambridge.org
    Subjects:
    Mathematics (general), Mathematics, Logic, Categories and Sets
    Series:
    London Mathematical Society Student Texts (56)
    Information

    Book description

    This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Philosophical considerations, which are often ignored or treated casually, are here given careful consideration, and furthermore the author places the notion of inductively defined sets (recursive datatypes) at the centre of his exposition resulting in a treatment of well established topics that is fresh and insightful. The presentation is engaging, but always great care is taken to illustrate difficult points. Understanding is also aided by the inclusion of many exercises. Little previous knowledge of logic is required of the reader, and only a background of standard undergraduate mathematics is assumed.

    Reviews

    ‘This is a remarkable book, presenting an introduction to mathematical logic and axiomatic set theory from a unified standpoint … also eminently suitable for self-study by mature mathematicians who wish to acquire a well-balanced and deeper knowledge of a field that is not part of their specialty … The author’s presentation is a model of clarity, and much of the liveliness of a lecture has been preserved in the write-up. The various asides, cross-references, and care in motivating definitions and concepts all contribute to the value of the book as an instructional source … a treasure in its genre, to be highly recommended by the reviewer.’

    Source: MathSciNet

    '… a real sense of freshness and vitality … I found this a very readable and stimulating book. Forster writes with an agreeably light touch and a whimsical sense of fun and his use of rectypes as a leitmotiv is both innovative and inspired.'

    Source: The Mathematical Gazette

    'The author's philosophical training leads him to accompany many definitions with lengthy reflexions which add interest and enliven the book.'

    Source: Mathematika

    Refine List

    Actions for selected content:

    Select all | Deselect all
    • View selected items
    • Export citations
    • Download PDF (zip)
    • Save to Kindle
    • Save to Dropbox
    • Save to Google Drive

    Save Search

    You can save your searches here and later view and run them again in "My saved searches".

    Please provide a title, maximum of 40 characters.
    Cancel
    ×

    Contents

    Contents

    Metrics

    Altmetric attention score

    Full text views

    Total number of HTML views: 0
    Total number of PDF views: 0 *
    Loading metrics...

    Book summary page views

    Total views: 0 *
    Loading metrics...

    * Views captured on Cambridge Core between #date#. This data will be updated every 24 hours.

    Usage data cannot currently be displayed.

    Accessibility standard: Unknown

    Why this information is here

    This section outlines the accessibility features of this content - including support for screen readers, full keyboard navigation and high-contrast display options. This may not be relevant for you.

    Accessibility Information

    Accessibility compliance for the PDF of this book is currently unknown and may be updated in the future.