Journals Higher Education



This item is printed to order. Items which are printed to order are normally despatched and charged within 5-10 days.

Published: 29 April 2004

232 Pages | numerous figures & tables


ISBN: 9780198526339

Also Available As:


Also Available In:

Bookseller Code (AQ)

Sample Material

Reductive Logic and Proof-search

Proof Theory, Semantics, and Control

David J. Pym and Eike Ritter

Clarendon Press

Oxford Logic Guides

  • Authoritative and expertly written monograph in the important growing area of proof-search
  • Aimed at a broad readership from mathematical, computational and philosophical logicians to theoretical computer scientists
  • Latest title in the prestigious and world-renowned Oxford Logic Guides
  • Contains line drawings, instructive figures, and tables