PropLogic - Pospesel, Howard Andrew (Prentice-Hall, 2000)