Reductive logic and proof-search : proof theory, semantics, and control /

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

Bibliographic Details

Main Authors:	Pym, David J. (Author), Ritter, Eike (Author)
Format:	eBook
Language:	English
Published:	Oxford, UK : New York : Clarendon Press ; Oxford University Press, 2004.
Series:	Oxford logic guides ; 45.
Subjects:	Logic, Symbolic and mathematical. Proof theory. Logique symbolique et mathématique. Théorie de la preuve. MATHEMATICS > Infinity. MATHEMATICS > Logic. Logic, Symbolic and mathematical Proof theory Bewijstheorie. Reductie (filosofie) Logica. Electronic books.
Online Access:	Connect to the full text of this electronic book