Percorsi di logica

Riferimento: 9788857586304

Editore: Mimesis
Autore: Fazio Davide, Ledda Antonio, Pra Baldi Michele
Collana: Filosofie
Pagine: 200 p., Libro in brossura
EAN: 9788857586304
20,00 €
Quantità
Non disponibile

Descrizione

Obiettivo del volume è fornire al lettore gli strumenti essenziali e le basi teoriche fondamentali per lo studio della logica contemporanea. In particolare, vengono trattati i temi fondamentali della logica classica proposizionale e predicativa. Ampio spazio è dedicato alla presentazione del metodo dei tableaux analitici, del calcolo assiomatico e della deduzione naturale, nonché allo sviluppo della loro meta-teoria. Il volume include i prerequisiti matematici richiesti, ed è corredato di esercizi per la verifica dell'apprendimento in itinere.