Combinatory logic / 
edited by Haskell B. Curry, Robert Feys and William Craig. 
 - Amsterdam :  North-Holland,  1958. 
 - 1 online resource (xv, 417 pages). 
 - Studies in Logic and the Foundations of Mathematics ;  v. 22 .
 - Studies in logic and the foundations of mathematics ;  v. 22. .
<br/><br/>Includes bibliographical references and index. 
<br/><br/>Formal systems -- Epitheory -- Lambda-conversion -- Church-Rosser theorem -- Intuitive theory of combinators -- Synthetic theory of combinators -- Logistic foundations -- Introduction to illative combinatory logic -- Basic theory of functionality -- Stronger theories of functionality. 
<br/><br/><label>ISBN: </label>9780444533876 0444533877 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Combinatory logic.<br/>Combinatory logic.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA9.5  / .C66 1958