Logic, Induction and Sets

Main
Mathematics
Logic, Induction and Sets

Logic, Induction and Sets

Name: Logic, Induction and Sets
ISBN: 9780521533614

Thomas Forster

0 / 0

0 comments

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

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.

Kategorien:

Mathematics

Jahr:

2003

Auflage:

First Edition

Verlag:

Cambridge University Press

Sprache:

english

Seiten:

245