[Logica]Consiglio libro di testo

[Howard_Wolowitz]

Innanzitutto ciao a tutti e buona giornata!
Sto frequentando un corso di programmazione improntato sul paradigma logico, nella specifica si utilizza il linguaggio Prolog, vorrei sapere da voi quale libro di testo mi consigliate per quanto riguarda la "Logica delle proposizioni" e la "Logica del primo ordine".
Possibilmente chiedo qualcosa di completo, preferibilmente un po' discorsivo che tratti soprattutto nel dettaglio tali due argomenti con esempi di esercizi ad essi relativi.
Vedo che tali argomenti rientrano in numerosi testi di Algebra Lineare/Matematica Discreta, vorrei però, se possibile, studiarli su qualcosa di più specifico, magari incentrato solo su questi argomenti.
Grazie mille in anticipo!

[garnak.olegovitc1]

Salve Howard_Wolowitz,

ci sarebbero

Handbook of Mathematical Logic (Studies in Logic and the Foundations of Mathematics)
Jon Barwise

Mathematical Logic: Foundations for Information Science (Progress in Computer Science and Applied Logic)
Wei Li

http://books.google.it/books?id=jFRwDqp ... &q&f=false

http://www.bollatiboringhieri.it/scheda ... 8833952840

ed altri ancora...
Cordiali saluti