Kirk Rader  1.0-SNAPSHOT
Bibliography
[1]

Donald Kalish, Richard Montague, and Gary Mar. Logic: Techniques of Formal Reasoning. Harcourt Brace Jovanovich, 2nd edition, 1980.