9788847018839 - Logica Metodo Breve - Daniele Mundici Kartoniert (TB)

Bilder-Quelle: discount24.de - Sport-Freizeit

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza completezza di Goedel Loewenheim-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.

Produktinformationen zuletzt aktualisiert am
31.03.2025 um 15:07 Uhr

Hersteller

EAN

9788847018839

MPN

ASIN

Produktgruppe