## Computation as logic |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Common terms and phrases

A-calculus A-terms abstraction algebra algorithm allows application arbitrary arithmetic arity assumption atoms axioms binary Boolean bound calculus called clause closed terms complete computer science confluence constant constructed critical pair Curry-Howard correspondence defined domain E-algebra elements encoding equivalent evaluation example exists finite terms first-order fixpoint formula ip functional programming graph h ip hence Herbrand induction inference system infinite integers interpretation intuitionistic intuitionistic logic iteration lemma literal logic programming minimal morphism multisets natural deduction negation notation obtained occurrence operator partial function Peano arithmetic polynomial predicate primitive recursive primitive recursive functions problem programming languages Prolog proof proposition prove quantifiers query recursive set redex reduction relation result rewriting system rule rx val satisfies semantics sequence sequent calculus signature solution solved Standard ML subset substitution subterm supercombinator symbol syntactic theorem theory transformation Ts[X Turing machine unary undecidable unification var(M written

### References to this book

The Significance of Complexity: Approaching a Complex World Through Science ... Kees van Kooten Niekerk,Hans Buhl No preview available - 2004 |