Three views of logic mathematics, philosophy, and computer science - Loveland, Donald W.; Hodel, Richard E.; Sterrett, Susan G. (Princeton University Press, 2014)