PKK Library

Your cart is empty.

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

511.6 / St42c
Stenlund, Soren
       COMBINATORS, TERMS AND PROOF THEORY / .- Dordrecht: D. Reidel, 1972 .- 184 . .- ( Synthese Library
Bibliography : P. 177-180
Subject Headings:
Combinatory Logic;
Proof Theory;
Copy Details:
Acc. No.: A63876, Full Call No.: 511.6 St42c, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------

Powered by Koha