Combinatory reduction systems /

Saved in:

Bibliographic Details
Main Author:	Klop, J. W.
Format:	Book
Language:	English
Published:	Amsterdam : Mathematisch Centrum, 1980.
Series:	Mathematical Centre tracts 127.
Subjects:	Combinatory logic Recursion theory

University of Minnesota

Holdings details from University of Minnesota
Call Number:	QA9.5 .K56x 1980