LEADER 00000nam 2200253 a 4500
001 0370686
003 UkHlHU
007 t
008 000608 1 1972 000 eng
040 UkHlHU
050 4 QA 9.5 H6
100 0 Hindley, James Roger.
245 00 Introduction to combinatory logic /|cby J.R. Hindley, B.
Lercher and J.P. Seldin.
260 Cambridge :|bUniversity Press,|c1972.
300 170p.
650 0 Logic|xMathematics.
650 0 Algebra.
650 0 Combinatorial analysis.
700 0 Lercher, B.
700 0 Seldin, Jonathan P.
710 2 London Mathematic.
946 020 absent -- ISBN check required
946 650 |a & |x subfields only. In at least one case all
subfields comprise single words only -- Check for Geac
subject headings
946 650 has non-LCSH elements -- Check for Geac subject
headings
