429:-
Uppskattad leveranstid 10-15 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gdel, Lwenheim-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: Pocket/Paperback
- ISBN: 9788847018839
- Språk: Italienska
- Antal sidor: 126
- Utgivningsdatum: 2011-02-10
- Förlag: Springer Verlag