Cover Image

Computability and logic /

Show other versions (4)
Bibliographic Details
Main Author: Boolos, George
Other Authors: Jeffrey, Richard C.
Format: Book
Language:English
Published: Cambridge [England] : New York, N.Y. : Cambridge University Press, 1980.
Edition:2nd ed.
Subjects:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Search Result 1
Cover Image
by Boolos, George
Published 2007
Table of contents only
Publisher description
Book
Search Result 2
Cover Image
by Boolos, George
Published 2002
Book
Search Result 3
Cover Image
by Boolos, George
Published 2002
Table of contents
Publisher description
Book
Search Result 4
Cover Image
by Boolos, George
Published 1974
Book
Show all versions (5)