Loading this item
Loading this item
Shelf price. Delivery and final price confirmed at checkout.
Sentences in logic. Connectives. Inductive reasoning. Seventeen logic fallacies. Predicate logic. Syllogisms. Quantifiers. Proofs in predicate logic. Direct and indirect proofs. Set theory as a predicate logic structure. Axiom systems: consistent, complete, meaningful, independent, and recursive. Arithmetic model. Gödel numbering of symbols, sentences, and proofs. Proof of the Diagonal Lemma. Gödel's Completeness theorem. Gödel's two Incompleteness theorems and their proofs. Many puzzles (exercises) and their complete solutions
Delivery options are shown above when available. No substitutions: if the exact item you chose is unavailable, your order is not charged.
Sold and fulfilled through JENNi Shop Local.