Ciao,
a questo indirizzo potete trovare un'introduzione alla logica scritta dal prof. Rast:
http://akira.ruc.dk/~erast/Logic.pdf .Si tratta di un testo che dedica spazio soprattutto ad argomenti interessanti per i linguisti. Siccome non mi intendo di linguistica, preferisco riportare la descrizione dello stesso autore (tratta da http://philpapers.org/rec/RASLAP):
This text is a short introduction to logic that was primarily used for accompanying an introductory course in Logic for Linguists held at the New University of Lisbon (UNL) in fall 2010. The main idea of this course was to give students the formal background and skills in order to later assess literature in logic, semantics, and related fields and perhaps even use logic on their own for the purpose of doing truth-conditional semantics. This course in logic does not replace a proper introduction to semantics and is not intended as such, although parts of Chapter 1 and 4 could be used to supplement an introductory course in semantics. In contrast to other introductions it has a certain focus on ‘writing things down correctly.’ Proofs of metatheorems are omitted, though.
Buona lettura.
Ciao,
Matteo
