Image for Logica: Metodo Breve

Logica: Metodo Breve - 50 (2011 edition.)

Part of the UNITEXT series
See all formats and editions

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

Read More
Available
£14.99
Add Line Customisation
Available on VLeBooks
Add to List
Product Details
Springer
8847018846 / 9788847018846
eBook (Adobe Pdf)
01/05/2011
Italian
126 pages
Copy: 10%; print: 10%