Logica: Metodo Breve
Bemærk venligst, at den normale 14 dages fortrydelsesret ophører ved modtagelse af adgang til e-bogen.
Produkt beskrivelse
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.
Oplysninger om tilgængelighed
Vælg variant af e-bog i højre side, for at se tilgængelighedsoplysninger.
Detaljer
- ISBN13 9788847018846
- Udgivet 2011
- Forlag Springer
- Format Elektronisk medie
- Sprog Italian