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)
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)