## Development of mathematical logic |

### What people are saying - Write a review

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

### Contents

Notes on Chapter 1 | 14 |

Notes on Chapter 2 | 35 |

PREDICATE LOGIC | 48 |

Copyright | |

7 other sections not shown

### Common terms and phrases

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