Research Catalog
Combinatory reduction systems
- Title
- Combinatory reduction systems / J.W. Klop.
- Author
- Klop, J. W.
- Publication
- Amsterdam : Mathematisch centrum, 1980.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 83-7 | Offsite |
Details
- Description
- xiii, 317 p. : ill.; 24 cm.
- Series Statement
- Mathematical Centre tracts ; 127
- Uniform Title
- Mathematical Centre tracts ; \127.
- Subjects
- Note
- Includes index.
- Thesis (note)
- Thesis (Ph.D.)--State University of Utrecht.
- Bibliography (note)
- Bibliography: p. 298-303.
- Call Number
- JSE 83-7
- ISBN
- 9061962005 (pbk.)
- LCCN
- 81172011
- OCLC
- 7436902
- NYPG83-B67457
- Author
- Klop, J. W.
- Title
- Combinatory reduction systems / J.W. Klop.
- Imprint
- Amsterdam : Mathematisch centrum, 1980.
- Series
- Mathematical Centre tracts ; 127Mathematical Centre tracts ; \127.
- Thesis
- Thesis (Ph.D.)--State University of Utrecht.
- Bibliography
- Bibliography: p. 298-303.
- Research Call Number
- JSE 83-7