Welcome to the Online Catalogue, Central Library Ramakrishna Mission Vivekananda Educational and Research Institute (RKMVERI), Belur Accredited by NAAC with A++ Grade

Semantics and logics of computation

A. Pitts (ed.)

Semantics and logics of computation - - Cambridge University Press 1997 - xii, 361p. - .



MD/1/0600/09-10/13-10-09

9780521580571 (HB)


ELECTRONIC DATA PROCESSING
PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS) – SEMANTICS
LOGIC, SYMBOLIC AND MATHEMATICAL

004.015113 SEM
Visitor count :