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