Κανονική προβολή Προβολή MARC Προβολή ISBD

Boolos, George

Computability and logic / George S. Boolos, Richard C. Jeffrey. - 2nd ed. - Cambridge: Cambridge University Press, 1989. - x, 304 p. ; 24 cm.

ISBN: 0521299675

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

Dewey Class. No.: 511.3