Kirk Rader
1.0SNAPSHOT

Wikipedia: Extended Backusâ€“Naur form. https://en.wikipedia.org/wiki/Extended_Backus%E2%80%93Naur_form. Accessed: 20170418.
Wikipedia: List of rules of inference. https://en.wikipedia.org/wiki/List_of_rules_of_inference. Accessed: 20170418.
Donald Kalish, Richard Montague, and Gary Mar. Logic: Techniques of Formal Reasoning. Harcourt Brace Jovanovich, 2nd edition, 1980.
Wikipedia: Logic gate. https://en.wikipedia.org/wiki/Logic_gate. Accessed: 20170418.
Alfred North Whitehead and Bertrand Russell. Principia Mathematica. Cambridge University Press, 1925–1927.