PKK Library

Your cart is empty.

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

004.015113 / SE52P
Andrew M. Pitts,Peter No Dybjer
       SEMANTICS AND LOGICS OF COMPUTATION / .- Cambridge Univ. Press, Cambridge, 1997 .- xii,361 .
ISBN: 0521580579
Subject Headings:
Electronic Data Processing;
Programming Languages (Electronic Computer Semantics);
Logic, Symbolic And Mathematical;
Author Added Entry:
Dybjer,Peter;
Copy Details:
Acc. No.: A126112, Full Call No.: 004.015113 SE52P, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------

Powered by Koha