Limit search to available items
Book Cover
Author Pym, David J.

Title Reductive logic and proof-search : proof theory, semantics, and control / David J. Pym and Eike Ritter
Published Oxford : Clarendon, 2004
Online access available from:
Oxford Scholarship Online    View Resource Record  


Description 1 online resource (xv, 208 pages) : illustrations
Series Oxford logic guides ; 45
Oxford logic guides ; 45
Summary Discusses the development of the mathematical and computational metatheory of reductive logic and proof-search, including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its applications in the computational sciences
Bibliography Includes bibliographical references and index
Notes Description based on print version record
Subject Logic, Symbolic and mathematical.
Proof theory.
Form Electronic book
Author Ritter, Eike.
ISBN 9780191712012 ebook
0191712019 ebook