REDUCTIVE LOGIC AND PROOF-SEARCH - Pym,David J.; Ritter,Eike (Clarendon Press, Oxford, 2004)
Keywords: Logic, Symbolic And Mathematical; Proof Theory