Welcome to the Online Catalogue, 

Central Library

Ramakrishna Mission Vivekananda Educational and Research Institute (RKMVERI), Belur
       
                       Accredited by NAAC with A++  Grade 

Computability and logic

George S. Boolos

Computability and logic - 5th ed. - Cambridge University Press 2007 - xiii, 350p. - .



inv.No.Vbd/1/2010-2011/ dt.21-12-11

9780521701464 (HB)


Computable functions
Recursive functions
LOGIC, SYMBOLIC AND MATHEMATICAL

004.01511352 BOO(COM)
Visitor count :