The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, Sony Reader ...

New to eBooks.com?

Learn more

Logica

Metodo Breve

Logica
Add to cart
US$ 29.95
(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; May 2011
131 pages; ISBN 9788847018846
Read online, or download in secure PDF format