511.3 / Sz12a
Szabe, M. E.
ALGEBRA OF PROOFS
/
.- Amsterdam: North-Holland Pub. Co., 1978
.- xii,297 .
.- ( Studies In Logic And The Foundations Of Mathematics, V. 88
Bibliography : P. 278-284
Subject Headings:
Proof Theory;
Categories (Mathematics);
Combinatory Logic;
Copy Details:
Acc. No.: A57306, Full Call No.: 511.3 Sz12a, Item type: Written-off , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------