TY - BOOK ID - 26354891 TI - Introduction to combinators and λ-calculus AU - Hindley, J.Roger AU - Seldin, Jonathan PY - 1990 VL - 1 SN - 0521318394 0521268966 9780521318396 PB - Cambridge Cambridge University Press DB - UniCat KW - Mathematical logic KW - Discrete mathematics KW - Mathematical logic: computability theory computational logic lambda calculus logic programming mechanical theorem proving model theory proof theoryrecursive function theory--See also {681.3*F11} {681.3*I22} {681.3*I23} KW - 681.3*F41 Mathematical logic: computability theory computational logic lambda calculus logic programming mechanical theorem proving model theory proof theoryrecursive function theory--See also {681.3*F11} {681.3*I22} {681.3*I23} KW - Combinatory logic KW - Lambda calculus KW - #KVIV KW - 681.3*F41 KW - Calculus, Lambda KW - Logic, Symbolic and mathematical KW - Logic, Combinatory KW - Nonclassical mathematical logic KW - 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - Combinatory logic. KW - Lambda calculus. KW - Logique mathématique KW - Logique générale KW - Logique combinatoire KW - Lambda-calculus UR - https://www.unicat.be/uniCat?func=search&query=sysid:26354891 AB - ER -