Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Logic, Induction and Sets

Name: Logic, Induction and Sets
Brand: Cambridge University Press
SKU: 04092485
Price: 65.59 EUR
Availability: InStock
Author: Thomas Forster
ISBN: 9780521533614

Thomas Forster

Language

English

Book Paperback

Libristo code: 04092485

Publishers Cambridge University Press, July 2003

This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Phil... Full description

Libristo code: 04092485

161 b

65.59 € VAT included

In stock at our supplier Shipping in 10-18 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Litteris et Patriae Ursula Wolf

Paperback

121.09 €

Anatomia czynnosciowa osrodkowego ukladu nerwowego Boguslaw K. Golab

Paperback

39.49 €

Die unter den Gräbern hausen Robert Ervin Howard

Hardback

29.89 €

The noble Polish family Alexwangen. Werner Zurek

Adobe ePub DRM

3.99 €

Historia De D. Diego Leon, Primer Conde De Belascoain... Anonymous

Hardback

27.89 €

Smart Games Rafa Koralowa (PL) IUVI Games

binding.

14.69 €

Teubner-Reihe Umwelt Gottfried Schuster

Paperback

49.99 €

Holbein le Jeune, le maitre du portrait Céline Muller

Paperback

14.19 €

L'urbanisme et son droit Schmit

Paperback

25.99 €

Les Wittgenstein une famille en guerre Alexander Waugh

Paperback

31.39 €

Das Wormser Edikt: Und Die Erlasse Des Reichsregiments Und Einzelner Reichsfursten (1917) Paul Kalkoff

Paperback

24.89 €

L'Album Perdu Talleyrand-Perigord-C-M

Paperback

20.99 €

Erkekler Icin Taocu Sevisme Sirlari

Paperback

26.09 €

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.