Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering Forlænget returret til 31/01/25

Logica: Metodo Breve

  • Format
  • E-bog, PDF
E-bogen er DRM-beskyttet og kræver et særligt læseprogram

Beskrivelse

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.

Læs hele beskrivelsen
Detaljer
  • Udgivelsesdato01-05-2011
  • ISBN139788847018846
  • Forlag Springer Milan
  • FormatPDF

Findes i disse kategorier...

Se andre, der handler om...

Machine Name: SAXO081