What logics mean from proof theory to model-theoretic semantics - Garson, James W. 1943- (Cambridge Univ. Press, 2013)
Includes bibliographical references