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: Wiskundig Genootschap (Netherlands) in View Entire Collection
(Clear Search History)
(End Search Session)
Search history function requires JavaScript.
Record:  
Prev
Next
Resources
Book
Corporate Author
Wiskundig Genootschap (Netherlands)
Title
Mathematical interpretation of formal systems / Th. Skolem [and others].
Publication Info.
Amsterdam : North-Holland Pub. Co., 1955.
Item Status
Location
Call No.
Status
OPAC Message
Public Note
Gift Note
Moore Stacks
QA9 .W72 1955
Available
---
Description
viii, 113 pages ; 22 cm.
Series
Studies in logic and the foundations of mathematics
Studies in logic and the foundations of mathematics.
Note
"Contains the lectures, held at the symposion [sic] on 'Mathematical interpretation of formal systems' which was organized by the 'Wiskundig Genootschap' (Mathematical Society) at Amsterdam on September 9 and 10, 1954."
Bibliography
Bibliography: pages 112-113.
Subject
Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical.
Added Author
Skolem, Th. (Thoralf), 1887-1963.