Combinatory reduction systems

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Klop, J. W.
Μορφή:	Βιβλίο
Έκδοση:	Amsterdam Mathematisch Centrum 1980.
Σειρά:	Mathematical Centre tracts 127.
Θέματα:	Combinatory logic. Recursion theory.