What people are saying - Write a review
We haven't found any reviews in the usual places.
ADEQUATE SETS OF CONNECTIVES
32 other sections not shown
Other editions - View all
algebra alphabet applicable arithmetic Assume Axiom of Choice Axiom of Regularity axiom schema axiomatic called cardinal numbers Church's Thesis closed wf consistent contains contradicting Corollary corresponding Deduction Theorem defined definition denote denumerable domain element equinumerous example Exercise expressible F F F false finite number first-order theory following wfs free variables function letters Godel number Hence holds individual constants inductive hypothesis infinite interpretation Lemma logically equivalent logically valid Math natural numbers nonempty normal algorithm normal model number-theoretic obtained occurrences ordinal partial recursive function positive integers predicate calculus predicate letter prenex normal form primitive recursive primitive recursive function Proof Let proper axioms Proposition provable quadruples real numbers recursive or recursive recursively undecidable replace Rule A4 sentence set theory Show statement form statement letters subset symbols tape description tautology theory with equality transfinite induction true truth table truth values Turing machine Turing-computable well-ordering word