Re: good book on combinatory logic

Does anybody know a simple book on combinatory logic?

I read Smullyans "how to mock a mockingbird" is interesting but is a
bit to much about combinators and not a lot about where it is good for
or how you can use it.

Or is the subject matter just to difficult for an simple book?

Hindley and Seldin, Introduction to Combinators and {\lambda}-calculus,
Cambridge 1986.

Am primarily interested how to "simulate" First order logic (predicate
logic with relations / FOL) in this logic.

You can't.

============== j-c ====== @ ====== purr . demon . co . uk ==============
Jack Campin: 11 Third St, Newtongrange EH22 4PU, Scotland | tel 0131 660 4760
<http://www.purr.demon.co.uk/jack/> for CD-ROMs and free | fax 0870 0554 975
stuff: Scottish music, food intolerance, & Mac logic fonts | mob 07800 739 557
.