Cerco un testo di logica matematica

[paperinissimo]

sono un autodidatta, dopo 10 anni ho ripreso gli studi universitari , e non potendo frquentare cerco un testo ( compresibile) di logica matematica
per la facolta informatica / matematica.
consigli ? grazie.

[qxtr01]

se per te l'inglese non è un problema puoi provare con questo e-book di logica matematica: http://www.fecundity.com/logic/

[fields1]

Di testi fatti bene, ce ne sono a centinaia. Di solito consiglio:

"A Mathematical Introduction to Logic", Enderton.

Comunque dipende anche dal programma del corso che devi seguire. Non ci sono libri consigliati da parte del tuo prof?

[paperinissimo]

preferirei, anzi un testo italiano dovendo fare da solo e ricominciando dopo molti anni....
Il prof. non ha consigliato un libro quindi non potendo frequentare sono in pò spiazzato.
Argomenti :
Logica proposizionale , predicativa, ( l'uso di + quantificatori ,calcolo ...) , tableau ( predicativo) , sistema Genztzen, Hilbert, correttezza e completezza .
Matematica di base : insiemi, relazioni , funzioni, Numeri naturali e cardinalità ...
Grazie mille a tutti

[G.D.5]

Elliot Mendelson della Bollati Boringhieri. Magari fields può suffragare o meno.

[fields1]

"WiZaRd":Elliot Mendelson della Bollati Boringhieri.

E' un buon testo, ma molto datato e sotto alcuni aspetti obsoleto; inoltre manca il calcolo di Gentzen e dei tableau.