Princeton University Library Catalog

Combinatory reduction systems / J.W. Klop.

Author:
Klop, J. W. [Browse]
Format:
Book
Language:
English
Published/​Created:
Amsterdam : Mathematisch Centrum, 1980.
Description:
xiii, 317 p. : ill. ; 24 cm.
Series:
Mathematical Centre tracts ; 127 [More in this series]
Notes:
Includes index.
Dissertation note:
Thesis (Ph.D.)--State University of Utrecht, 1980.
Bibliographic references:
Bibliography: p. 298-303.
Subject(s):
ISBN:
9061962005
OCLC:
7436902
Other views:
Staff view