Combinatory Logic
Subtitle: Pure, Applied and Typed
Publisher: Taylor & Francis Group
Published: 2011
Language: eng
Number of pages: 357
ISBN-13: 9781439800010
Subjects: Logic, symbolic and mathematical