Koha online

Normal view MARC view ISBD view

Boolos, George S.

Computability and logic - 4th ed. - Cambridge: Cambridge University Press, 2002 - xi, 356 p.; ill.: 26 cm.

ISBN: 0521007585 (pbk)

Subjects--Topical Terms:
Logic, Symbolic and mathematical
Computable functions
Recursive functions

Dewey Class. No.: 511.3 / BOO