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),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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),
------------------------- --------------------- ------ --------- ------- ------- --------- --------