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 14 of 17
Record:
Prev
Next
Resources
Book
Author
Mostowski, Andrzej.
Title
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel.
Publication Info.
Amsterdam : North-Holland Pub. Co., 1952.
Item Status
Location
Call No.
Status
OPAC Message
Public Note
Gift Note
Moore Stacks
BC135 .M6
Available
---
Description
117 pages.
Series
Studies in logic and the foundations of mathematics
Studies in logic and the foundations of mathematics.
Bibliography
Includes bibliograhy.
Subject
Gödel, Kurt.
Gödel, Kurt.
Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical.
