What people are saying - Write a review
We haven't found any reviews in the usual places.
Notes on Chapter 1
Notes on Chapter 2
7 other sections not shown
additional axioms argument assignment axiom of choice called class of sentences consider contains decision procedure Deduction Theorem denote derivable disjunction domain elements equation equivalent existence f(xu x2 false finite number follows formalised arithmetic formulation free variables function sign functions of height given Godel's induction infinite instance integer introduced intuitionist logic mathematics modulo natural numbers negation non-standard numbers obtained ordinal pair polynomials predicate logic predicate variables prime primitive recursive arithmetic primitive recursive function proof provable in Jf provable sentences Q is provable quantifiers recursive arithmetic recursive predicate recursive set recursively enumerable relation result rules of inference satisfiable self-dual sentence logic sentence variables sequence number sequent logic set theory Sheffer function si(x subset substitution takes the value tautology term theorem holds true truth functions truth tables truth values undecidable universally valid whence xu x2 zero
All Book Search results »
Dictionary of Logic as Applied in the Study of Language: Concepts/Methods ...
No preview available - 1981