Logic, Induction and Sets (London Mathematical Society Student Texts, 56) - Softcover

Forster, Thomas

 
9780521533614: Logic, Induction and Sets (London Mathematical Society Student Texts, 56)

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

fm.author_biographical_note1

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9780521826211: Logic, Induction and Sets (London Mathematical Society Student Texts) (London Mathematical Society Student Texts, 56)

Vorgestellte Ausgabe

ISBN 10:  0521826217 ISBN 13:  9780521826211
Verlag: Cambridge University Press, 2003
Hardcover