511.3 / P994R
Pym,David J.
REDUCTIVE LOGIC AND PROOF-SEARCH
/ PROOF THEORY, SEMANTICS, AND CONTROL
.- Clarendon Press, Oxford, 2004
.- xv,208 .
.- ( Oxford Logic Guides
ISBN: 0198526334
Subject Headings:
Logic, Symbolic And Mathematical;
Proof Theory;
Author Added Entry:
Ritter,Eike;
Copy Details:
Acc. No.: A157284, Full Call No.: 511.3 P994R, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------