Logic

Sinossi di Logic

«Logic» è il manuale di logica di Paul Tomassi, pubblicato da Routledge in brossura (432 pagine, in inglese).

Introduzione alla logica che spiega la nozione di validità, il linguaggio della logica proposizionale, la teoria della dimostrazione e la semantica formale con il metodo degli alberi di verità, e che affronta anche la logica quantificazionale e la teoria delle descrizioni. Include esercizi orientati allo studente, illustrazioni, riassunti e glossario.

Il libro è stato pubblicato per la prima volta il 28 gennaio 1999 a Londra e New York; il volume include bibliografia e indice.

È pensato per studenti di logica, sia per ripassare gli esami e seguire il ritmo di un corso, sia per chi vuole imparare da solo.