Abstract automath
By: A. Rezus.
Series: Mathematical Centre tracts -- 160
Publisher: Mathematisch Centrum
Published: 1983
Place of publication: Amsterdam
Language: eng
Number of pages: 188
Subjects: AUTOMATH (Formal language); Combinatory logic; Lambda calculus
Notes: Bibliography: p. 172-184.

Includes index.