Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur
DRM-beskyttet
PDF version af Logica: Metodo Breve af Daniele Mundici

Logica: Metodo Breve

Af
Bog E-bog
  • Format
  • E-bog, PDF
Er ikke web-tilgængelig
E-bogen er DRM-beskyttet og kræver et særligt læseprogram

Normalpris

kr. 189,95

Medlemspris

kr. 159,95
Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

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

Anmeldelser

Vær den første!

Log ind for at skrive en anmeldelse.

Findes i disse kategorier...

Se andre, der handler om...

Mathematical foundations Mathematical logic Mathematical theory of computation Semantics, discourse analysis, stylistics