Logica: Metodo Breve

Logica: Metodo Breve

Daniele Mundici

Format: Print Book

ISBN: 9788847018839

  • Rp 525.901,65
    Unit price per 
  • Save Rp 58.406,76
Tax included.

Will not ship until

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.

Publication Year: 2011
Imprint: Springer Milan
Format: P
Weight (Gram): 230






We Also Recommend