Combinatory reduction systems

Detaylı Bibliyografya
Yazar:	Klop, J. W.
Materyal Türü:	Kitap
Baskı/Yayın Bilgisi:	Amsterdam Mathematisch Centrum 1980.
Seri Bilgileri:	Mathematical Centre tracts 127.
Konular:	Combinatory logic. Recursion theory.