The Leading eBooks Store Online 3,508,729 members ⚫ 2,065,349 ebooks

New to eBooks.com?

Learn more

Logica: Metodo Breve

Logica: Metodo Breve by Daniele Mundici
Add to cart
US$ 29.99
(If any tax is payable it will be calculated and shown at checkout.)
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.
Springer Milan; May 2011
131 pages; ISBN 9788847018846
Read online, or download in secure PDF format
Title: Logica: Metodo Breve
Author: Daniele Mundici
 
Buy, download and read Logica: Metodo Breve (eBook) by Daniele Mundici today!