Logica: Metodo Breve [Italian]

by Daniele Mundici

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.

• Format: Paperback
• Language: Italian
• ISBN: 8847018838
• ISBN13: 9788847018839
• Release Date: February 2011
• Publisher: Springer
• Length: 126 Pages
• Weight: 0.65 lbs.
• Dimensions: 0.4" x 6.1" x 9.1"