Research Catalog

Categories for types / Roy L. Crole.

Title
Categories for types / Roy L. Crole.
Author
Crole, Roy L.
Publication
Cambridge ; New York : Cambridge University Press, 1993.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextUse in library QA169 .C685 1993Off-site

Holdings

Details

Description
xvii, 335 p. : ill.; 24 cm.
Series Statement
Cambridge mathematical textbooks
Uniform Title
Cambridge mathematical textbooks.
Subject
  • Categories (Mathematics)
  • Lambda calculus
  • Sets (Mathematics)
Bibliography (note)
  • Includes bibliographical references (p. 315-319) and index.
Processing Action (note)
  • committed to retain
ISBN
  • 0521450926
  • 0521457017 (pbk.)
LCCN
^^^94184387^
Owning Institutions
Harvard Library