Combinatory reduction systems

Xehetasun bibliografikoak
Egile nagusia:	Klop, J. W.
Formatua:	Liburua
Argitaratua:	Amsterdam Mathematisch Centrum 1980.
Saila:	Mathematical Centre tracts 127.
Gaiak:	Combinatory logic. Recursion theory.