54 pages matching defined in this book
Results 1-3 of 54
What people are saying - Write a review
We haven't found any reviews in the usual places.
Montague and Tarski 270
40 other sections not shown
algorithm applied arbitrary automaton axiomatizable axioms binary Boolean algebra cell circuit satisfying coefficients completeness theorem computable condition conjunction consider consistency proof consistent constructive contains corresponding cylindrical algebra decision problem defined definition digits disjunction elementary elements example expressions extension finite automata finite number formal formula free variable given Hence identity induction inputs integers interpretation intuitionistic isomorphic Kleene Lemma machine Math mathematical method natural numbers normal form notation notion obtained operation ordinals outputs partial recursive function polynomial potentially infinite automaton predicate calculus predicate logic prenex normal form primitive recursive functions procedure proof propositional calculus provable quantifiers real closed fields recursion equivalences recursive ordinals recursive set recursively enumerable reduced relation relay replaced representation represented restricted recursive arithmetic result sentences sentential calculus sequence set theory solution Subcase subset symbols synthesis problem synthesis requirement Tarski tion values wider restricted recursion