Three views of logic Mathematics,Philosophy and Computer Science - Loveland Donald W.; Hodel Richard E.; Sterrett S. G. (Princeton Princeton University Press, 2014)
Keywords: I I C