TY - BOOK ID - 6548291 TI - Logic and computer science PY - 1990 VL - 31 SN - 0125242204 9780125242202 PB - London Academic press DB - UniCat KW - #KVIV:BB KW - 681.3*F41 KW - 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 - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - Programming KW - Programming. KW - 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) 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 - Functional programming KW - Logic programming KW - Automatic Deduction UR - https://www.unicat.be/uniCat?func=search&query=sysid:6548291 AB - ER -