Andrews, Peter B. — AN INTRODUCTION TO MATHEMATICAL LOGIC AND TYPE THEORY: TO TRUTH THROUGH PROOF.
Prima edizione
Sovraccoperta
USA, Academic Press, 1986. 1st edition 304 pp. Pb with dustjacket . This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan"s Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand"s Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. very good condition
Machine translation by Google. The original description of the seller is leading.
Log in or create an account to translate descriptions. Accedi
Numero libro:
23237
€29.50 ($32.51 | £24.61 | ¥5,191)