Journals Higher Education

£112.00

Hardback

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

234x156mm

ISBN: 9780198526339


Also Available As:

Ebook


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
Share: