Logica. Metodo breve

€ 25,95
  • Disponibilità:
    Disponibile
  • ISBN:
    9788847018839 8847018838
  • Autore
  • Casa editrice
    Springer Verlag
  • Pagine
    137
  • Data di pubblicazione

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.

Potrebbe interessarti anche