Logic, Induction and Sets - Couverture souple

Forster, Thomas

 
9780521533614: Logic, Induction and Sets
Couverture souple
ISBN 10 : 0521533619 ISBN 13 : 9780521533614
Editeur : Cambridge University Press, 2003

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

fm.author_biographical_note1

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Cambridge University Press
Date d'édition
2003
Langue
anglais
ISBN 10 
0521533619
ISBN 13 
9780521533614
Reliure
Broché
Nombre de pages
246
Coordonnées du fabricant
non disponible
Personne responsable
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
France