Logic books (online)

Ajoutés à la page "logique" :
J. v. Benthem : A manual of intensional logic (.pdf, 147p., Attention: 37Mo ). Disponible depuis cette page.
A.S. Troelstra : Lectures on Linear logic (.pdf, 215p., Attention : 47Mo)