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
Thanks For Buying Premium From My Links For Support