Kirk Rader  1.0-SNAPSHOT

Wikipedia: Extended Backus–Naur form. Accessed: 2017-04-18.


Wikipedia: List of rules of inference. Accessed: 2017-04-18.


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


Wikipedia: Logic gate. Accessed: 2017-04-18.


Alfred North Whitehead and Bertrand Russell. Principia Mathematica. Cambridge University Press, 1925–1927.