Research Catalog
Semantics of type theory : correctness, completeness, and independence results
- Title
- Semantics of type theory : correctness, completeness, and independence results / Thomas Streicher.
- Author
- Streicher, Thomas, 1958-
- Publication
- Boston : Birkhäuser, 1991.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA76.7 .S82 1991 | Off-site |
Details
- Description
- xii, 298 pages : illustrations; 25 cm.
- Series Statement
- Progress in theoretical computer science
- Uniform Title
- Progress in theoretical computer science.
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. 292-295) and index.
- ISBN
- 3764335947 (hard : acid-free) :
- 0817635947 (hard : acid-free) :
- LCCN
- 91026116
- OCLC
- 24175029
- ocm24175029
- Owning Institutions
- Columbia University Libraries