ricerca
avanzata

Logic, Induction and Sets - 9780521533614

Un libro in lingua di Forster Thomas edito da CAMBRIDGE UNIVERSITY PRESS, 2003

  • € 34.00
  • Il prezzo è variabile in funzione del cambio della valuta d’origine

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.

Informazioni bibliografiche

  • Titolo del Libro in lingua: Logic, Induction and Sets
  • Lingua: English
  • AutoreForster Thomas
  • Editore: CAMBRIDGE UNIVERSITY PRESS
  • Data di Pubblicazione: 21 Luglio '03
  • Genere: Lingua Inglese
  • ISBN-10: 0521533619
  • EAN-13: 9780521533614