Proof-theoretic semantics - Francez, Nissim, 1944- (Studies in logic ;, 2015)