Logica: Metodo Breve

Posted By: AvaxGenius

Logica: Metodo Breve by Daniele Mundici
Italiano | PDF | 2011 | 132 Pages | ISBN : 8847018838 | 1.1 MB

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.
Without You And Your Support We Can’t Continue
Thanks For Buying Premium From My Links For Support