Logica

[Magma1]

Salve,

qualcuno saprebbe consigliare una buona dispensa utile per lo studio della logica o logica matematica?

[killing_buddha]

La logica e' piuttosto vasta, cosa ti interessa e qual e' il punto da cui parti?

[Magma1]

A livello universitario conosco solo le basi elementari utili per l'algebra lineare; pertanto vorrei studiarla, da autodidatta, ricominciando da zero. In particolare mi interessa capire a fondo i teoremi di Godel, Tarski e Kripke, che conosco solo per via divulgativa.

[killing_buddha]

Ti consiglio allora di partire dalla teoria dei modelli, e nella fattispecie di leggere le dispense che stanno qui http://people.dm.unipi.it/berardu/

[Magma1]

Perfetto! Ti ringrazio.