Fondamenti di logica matematica

Recensioni dei lettori

Il libro è un testo completo sulla logica matematica, che offre un'introduzione ben organizzata a vari argomenti come la logica proposizionale, la logica del primo ordine, la teoria degli insiemi, la teoria dei modelli e la teoria della ricorsione. Mentre molti recensori ne lodano la chiarezza, la coerenza e la profondità, alcuni sottolineano notevoli omissioni, in particolare nella teoria delle prove, che lasciano il testo incompleto in alcune aree.

Copertura completa di argomenti di logica matematica.

Ben scritto con eccezionale chiarezza e coerenza.

(basato su 3 recensioni dei lettori)

Titolo originale:

Fundamentals of Mathematical Logic

Contenuto del libro:

Questo testo introduttivo per laureati copre la logica matematica moderna, dalla logica proposizionale, del primo ordine e infinitaria ai Teoremi di Incompletezza di Godel, fino ad ampie introduzioni alla teoria degli insiemi, alla teoria dei modelli e alla teoria della ricorsione (computabilità).

Basato su oltre 35 anni di esperienza di insegnamento dell'autore, il libro sviluppa l'intuizione degli studenti presentando idee complesse nel contesto più semplice in cui hanno senso. Il libro è adatto per essere utilizzato come testo in classe, per lo studio autonomo e come riferimento sullo stato della logica moderna.