Schechter, E. Classical and nonclassical logics: An introduction to the mathematics of propositions - Princeton; New Jersey Princeton University Press 2005 - ix, 507p. ISBN: 0-691-12279-2