Logic, Induction and Sets

Thomas Forster (University of Cambridge)

$74.95

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Cambridge University Pres
11 December 2003

Mathematics & Sciences; Philosophy of mathematics; Mathematical logic; Set theory

Series: London Mathematical Society Student Texts

Philosophical considerations, which are often ignored or treated casually, are given careful consideration in this introduction. Thomas Forster places the notion of inductively defined sets (recursive datatypes) at the center of his exposition resulting in an original analysis of well established topics.

The presentation illustrates difficult points and includes many exercises. Little previous knowledge of logic is required and only a knowledge of standard undergraduate mathematics is assumed.

By: Thomas Forster (University of Cambridge)
Imprint: Cambridge University Pres
Country of Publication: United Kingdom
Volume: No. 56
Dimensions: Height: 229mm, Width: 152mm, Spine: 13mm
Weight: 340g
ISBN: 9780521533614
ISBN 10: 0521533619
Series: London Mathematical Society Student Texts
Pages: 244
Publication Date: 11 December 2003
Audience: College/higher education , Professional and scholarly , Primary , Undergraduate
Format: Paperback
Publisher's Status: Active

1. Definitions and notations; 2. Recursive datatypes; 3. Partially ordered sets; 4. Propositional calculus; 5. Predicate calculus; 6. Computable functions; 7. Ordinals; 8. Set theory; 9. Answers to selected questions.

Reviews for Logic, Induction and Sets

'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.' 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.' The Mathematical Gazette 'The author's philosophical training leads him to accompany many definitions with lengthy reflexions which add interest and enliven the book.' Mathematika