Introduction to logic : propositional logic /
Pospesel, Howard,1937-
Lycan, William G.
Pospesel, Mark.PropLogic.
Upper Saddle River, N.J. : Prentice Hall,
c2000.
Accompanying computer disc contains Version 1.0 of PropLogic by Howard Pospesel and Mark Pospesel.
Previous ed. (i.e. 3rd ed.): 1998.
Includes bibliographical references and index.
Proposition (Logic)
Logic, Symbolic and mathematical.
Reasoning.