Development of Mathematical Logic |
Contents
NOTES ON CHAPTER | 5 |
NOTES ON CHAPTER | 14 |
NOTES ON CHAPTER 2 | 35 |
Copyright | |
6 other sections not shown
Other editions - View all
Common terms and phrases
a₁ additional axioms argument assignment Brouwer class of sentences conjunctive normal form consider contains contradiction d₁ decision procedure deduction theorem defined denote derived disjunction domain equation equivalent false fig(t finite number follows free variables function f functions of height given Gödel's holds for functions induction infinite instance integer intuitionist logic modulo natural numbers negation non-standard numbers obtained p v q P₁ partial recursive polynomials predicate logic predicate variables prime primitive recursive function proof provable in HL provable sentences Q is provable quantifiers recursive predicate recursive set recursively enumerable relation result rules of inference satisfiable self-dual sentence logic sentence variables sequence of numbers sequent sequent logic Sheffer function signs subset substitution take the value tautology term tertium non datur theorem holds true truth tables truth values two-variable functions universally valid v₁ x₁ zero