• Taliansky jazyk

Logica: Metodo Breve

Autor: Daniele Mundici

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... Viac o knihe

Na objednávku

27.71 €

bežná cena: 30.79 €

O knihe

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.

  • Vydavateľstvo: Springer Milan
  • Rok vydania: 2011
  • Formát: Paperback
  • Rozmer: 235 x 155 mm
  • Jazyk: Taliansky jazyk
  • ISBN: 9788847018839

Generuje redakčný systém BUXUS CMS spoločnosti ui42.