Kniha Logic, Induction and Sets Thomas Forster

Logic, Induction and Sets

Jazyk: Angličtina
Vazba: Pevná
Dostupnost: Skladem u dodavatele
Odesíláme za 10-18 dnů
3 067
This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Phil...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
2003
Stránek
244
EAN
9780521826211
ISBN
0521826217
Enbook ID
02045459
Hmotnost
449
Rozměry
158 x 238 x 20

Kompletní popis

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.

Mohlo by vás zajímat