Research Catalog
Absoluteness of intuitionistic logic
- Title
- Absoluteness of intuitionistic logic / D. M. R. Leivant.
- Author
- Leivant, Daniel Maurice Raphaël.
- Publication
- Amsterdam : Mathematisch Centrum, 1979.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/text | Request in advance | JSE 79-1265 | Offsite |
Details
- Description
- ix, 137 p.; 24 cm.
- Series Statement
- Amsterdam. Mathematisch Centrum. Mathematical Centre tracts, \73
- Uniform Title
- Mathematical Centre tracts ; \73.
- Subject
- Note
- Originally presented as the author's thesis - Amsterdam.
- Includes index.
- Bibliography (note)
- Bibliography: p. 128-131.
- Call Number
- JSE 79-1265
- OCLC
- 5282304
- NYPG794597189-B
- Author
- Leivant, Daniel Maurice Raphaël.
- Title
- Absoluteness of intuitionistic logic / D. M. R. Leivant.
- Imprint
- Amsterdam : Mathematisch Centrum, 1979.
- Series
- Amsterdam. Mathematisch Centrum. Mathematical Centre tracts, \73Mathematical Centre tracts ; \73.
- Bibliography
- Bibliography: p. 128-131.
- Research Call Number
- JSE 79-1265