Logica da zero a Gödel

Questo libro è un manualetto che introduce, in modo semplice e decisamente piacevole, le strutture fondamentali della logica (connettivi, tavole di verità, quantificatori e variabili...) e delle dimostrazioni formali, presentando le principali regole logiche con numerosi esempi e con una serie di utili esercizi di fine capitolo, con soluzioni a fine volume. Vengono affrontati anche argomenti un po' più complessi come la teoria degli insiemi, il concetto di verità e, come il titolo anticipa, i celebri teoremi metalogici di completezza e coerenza. Un testo consigliato a chi non si spaventa di investire un po' di tempo e impegno intellettuale per farsi una prima, consistente idea di cosa sia la logica e a cosa serva davvero.

lavoro che affronta in senso filosofico e non tutto ciò che bisogna sapere per avere un buon fondamento delle nozioni di logica, un concentrato che non fa mancare nulla, Francesco Berto sa che l'opera, che si rivolge agli studenti più giovani, deve avere toni ironici e spiega in modo semplice e genuino ciò che pochi riescono ad apprezzare, forse anche per l'asprezza della disciplina. poco approfondito l'argomento che concerne la storia della logica, molto utili gli esercizi a fine capitolo dotati di soluzioni.

Un libro chiaro e completo sulla logica elementare