Normal View ISBD View

Boolos, George

Computability and logic / George Boolos, Richard Jeffrey - 3. ed. - Cambridge : Cambridge University Press, 1990 - X, 304 p. ; 23 cm.

Open University set book

ISBN: 0521389232

Subjects--Topical Terms:
Computable functions
recursive functions
logic, symbolic and mathematical

LC Class. No.: QA9.59.B66

Dewey Class. No.: 511.3