Reductive logic and proof-search : proof theory, semantics, and control :: David J. Pym :: ISBN 0198526334 :: Clarendon Press 2004 :: OBNB, the Open British National Bibliography

Publication Data

Title Reductive logic and proof-search : proof theory, semantics, and control
Author David J. Pym
Contributor Eike Ritter
Publisher Clarendon Press
Publication date 2004
Publication location Oxford
Language English

Topics

Logic, Symbolic and mathematical
Proof theory

Catalogue Data

OBNB ID GBA471015
ISBN 10 0198526334
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 xv, 208 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Reductive logic and proof-search : proof theory, semantics, and control by David J. Pym. ISBN 0198526334. Published by Clarendon Press in 2004. Publication and catalogue information, links to buy online and reader comments.