Handbook of quantum logic and quantum structuresKurt Engesser, Dov M. Gabbay, Daniel Lehmann · First published 2007 · Latest edition 2009Open the Tome
