Reductive logic and proof-search : proof theory, semantics, and control / David J. Pym and Eike Ritter.
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic...
Full description
Saved in: