Mathematics and Science, Mathematics, Mathematical Foundations, Mathematical Logic
Logica: Metodo Breve. La Matematica Per Il 3+2

Logica: Metodo Breve. La Matematica Per Il 3+2

Paperback Published on: 10/02/2011; Language: Italian
£22.99
UK delivery included
In stock
Print on demand - Usually dispatched within 7-10 days
Make and edit your lists in your account
wordery
has a fantastic rating on
In stock
Print on demand - Usually dispatched within 7-10 days
wordery
has a fantastic rating on

Synopsis

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi.

Publisher information

  • Publisher: Springer Milan
  • ISBN: 9788847018839
  • Number of pages: 126
  • Dimensions: 231 x 155 x 10 mm
  • Weight: 230g
  • Languages: Italian