Reductive Logic and Proof-search: Proof Theory, Semantics, and Control - Oxford Logic Guides - Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol) - Books - Oxford University Press - 9780198526339 - June 17, 2004
In case cover and title do not match, the title is correct

Reductive Logic and Proof-search: Proof Theory, Semantics, and Control - Oxford Logic Guides

Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol)

Price
zł 892.90
excl. VAT

Ordered from remote warehouse

Expected delivery May 7 - 20

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Reductive Logic and Proof-search: Proof Theory, Semantics, and Control - Oxford Logic Guides

This book is a specialized monograph on 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 modern applications in the computational sciences.

228 pages, numerous figures & tables

Media Books     Hardcover Book   (Book with hard spine and cover)
Released June 17, 2004
ISBN13 9780198526339
Publishers Oxford University Press
Pages 232
Dimensions 162 × 242 × 18 mm   ·   503 g

See all of Pym, David J. (, Professor of Logic & Computation, University of Bath and Royal Society Industry Fellow, Hewlett-Packard Laboratories, Bristol) ( e.g. Hardcover Book )