Three views of logic : mathematics, philosophy and computer science - Loveland, Donald W. (Princeton University Press, 2014)