"Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control" - читать интересную книгу автора (David J. Pym, Eike Ritter)