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

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.7 .S82 1991Off-site

Holdings

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