Skip to content
Rider Library Catalog
You are not logged in
|
Login
Your session will expire automatically in
0
seconds.
Continue session
End session now
Request
Add to My Lists
Export
MARC Display
Return To Browse
Limit/Sort
SearchType
Keyword
Author
Title
Journal Title
Series Title
Subject
Genre
Call no.
ISBN / ISSN
Table of Contents
Publisher
Prof/TA
Course
Search
Search Scope
View Entire Collection
Moore Library
Talbott Library
Limit search to available items
Record:  
Prev
Next
Resources
More Information
Book
Author
Boolos, George.
Title
Computability and logic / George Boolos [and] Richard Jeffrey.
Publication Info.
Cambridge [Eng.] : University Press, [1974]
Item Status
Location
Call No.
Status
OPAC Message
Public Note
Gift Note
Moore Stacks
QA248.5 .B66
Available
---
Description
x, 262 pages : illustrations ; 24 cm
Subject
Computable functions.
Computable functions.
Recursive functions.
Recursive functions.
Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical.
Added Author
Jeffrey, Richard C.
ISBN
052120402X $10.95 (U.S.)