1. Correspondence and completeness for generalized quantifiers;Alechina;Bulletin of the IGPL,1994
2. Logical options: An introduction to classical and alternative logics;Bell,2001
3. Lattice theory;Birkhoff,1979
4. Modal logic;Blackburn,2001
5. Computability and logic;Boolos,2002