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
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
Curriculum Resource Center
Moore Library
Office of Information Technologies
Talbott Library
Limit search to available items
(Search History)
Author: Heyting, A. (Arend), 1898- in View Entire Collection
(Clear Search History)
(End Search Session)
Search history function requires JavaScript.
Record:  
Prev
Next
Resources
Book
Conference
International Colloquium "Constructivity in Mathematics" (1957 : Amsterdam, Netherlands)
Title
Constructivity in mathematics; proceedings. / Edited by A. Heyting.
Publication Info.
Amsterdam : North-Holland Pub. Co., 1959.
Item Status
Location
Call No.
Status
OPAC Message
Public Note
Gift Note
Moore Stacks
QA9 .I5 1957
Available
---
Description
viii, 297 pages ; 23 cm.
Series
Studies in logic and the foundations of mathematics
Studies in logic and the foundations of mathematics.
Note
Papers in English, German, or French.
"The appendix contains the summaries of three lectures ... [given] at the Summer Institute of Symbolic Logic in June 1957 at Cornell University, Ithaca, N.Y."
Bibliography
Includes bibliographies.
Subject
Metamathematics -- Congresses.
Metamathematics.
Genre/Form
Conference papers and proceedings.
Conference papers and proceedings.
Added Author
Heyting, A. (Arend), 1898-1980.