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.
"synopsis" may belong to another edition of this title.
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 center 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.
fm.author_biographical_note1
"About this title" may belong to another edition of this title.
Shipping:
US$ 6.95
Within U.S.A.
Seller: Frey Fine Books, Rougemont, NC, U.S.A.
Hardcover. Condition: Very Good +. 1st edition. 1st edition. A Very Good + copy. 8vo., x, 234 pp., illustrated with charts, diagrams, and formulae. Bound in blue, glossy, paper boards. No. 56 in the publisher's series, London Mathematical Society Student Texts. Seller Inventory # 32178
Quantity: 1 available
Seller: Book Bear, West Brookfield, MA, U.S.A.
Hardcover. Condition: Very Good. 1st Edition. 234 pp. Tightly bound. Corners not bumped. Text is free of markings. No ownership markings. Printed boards. Published without dust jacket. A hint of mustiness from being stored in a box in a basement. Light foxing to page edges. Seller Inventory # 027823
Quantity: 1 available
Seller: Labyrinth Books, Princeton, NJ, U.S.A.
Condition: New. Seller Inventory # 138371
Quantity: 2 available
Seller: Henffordd Books, Herefordshire, United Kingdom
Hardcover. Condition: Near Fine. 1st Edition. Slight rubbing to edges otherwise in excellent condition. Appears unread. Next day dispatch by Royal Mail in sturdy, recyclable packaging. 1000's of satisfied customers! Please contact us with any enquiries. Seller Inventory # 017331
Quantity: 4 available
Seller: Buchpark, Trebbin, Germany
Condition: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. | Seiten: 246 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 7239609/2
Quantity: 1 available
Seller: Revaluation Books, Exeter, United Kingdom
Hardcover. Condition: Brand New. 234 pages. 9.25x6.00x0.75 inches. In Stock. This item is printed on demand. Seller Inventory # __0521826217
Quantity: 1 available
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 479. Seller Inventory # C9780521826211
Quantity: Over 20 available
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In. Seller Inventory # ria9780521826211_new
Quantity: Over 20 available
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New. Seller Inventory # ABLIING23Feb2416190016889
Quantity: Over 20 available
Seller: moluna, Greven, Germany
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Inhaltsverzeichnis1. 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. Seller Inventory # 633931065
Quantity: Over 20 available