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
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 3 of 10
Record:  
Prev
Next
Resources
More Information
Book
Author
Fisher, Alec.
Title
Formal number theory and computability : a workbook / by Alec Fisher.
Publication Info.
Oxford [Oxfordshire] : Clarendon Press, 1982.
Item Status
Location
Call No.
Status
OPAC Message
Public Note
Gift Note
Moore Stacks
QA241 .F57 1982
Available
---
Description
xiii, 190 pages : illustrations ; 25 cm.
Series
Oxford logic guides ; 7
Oxford science publications
Oxford logic guides ; 7.
Oxford science publications.
Bibliography
Bibliography: pages 187-188.
Note
Includes index.
Subject
Number theory.
Number theory.
Gödel's theorem.
Gödel's theorem.
Incompleteness theorems.
Incompleteness theorems.
ISBN
0198531788 : $19.50