Logica: Metodo Breve

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.

Verwandte Artikel

Logica: Metodo Breve Mundici, Daniele

29,95 €*

Weitere Produkte vom selben Autor

Download
PDF
Logic: a Brief Course Daniele Mundici

29,74 €*
Download
PDF
Towards Mathematical Philosophy Ryszard Wójcicki, Vincent F. Hendricks, Daniele Mundici, Ewa Or?owska, Krister Segerberg, Heinrich W

149,79 €*