Logic for Mathematicians - Brossura

Hamilton, A. G.

 
9780521368650: Logic for Mathematicians

Sinossi

This is an introductory textbook which is designed to be useful not only to intending logicians but also to mathematicians in general.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Preface; 1. Informal statement calculus; 2. Formal statement calculus; 3. Informal predicate calculus; 4. Formal predicate calculus; 5. Mathematical systems; 6. The Gödel incompleteness theorem; 7. Computability, unsolvability, undecidability; Appendix; Hints and solutions to selected exercises; References and further reading; Glossary of symbols; Index.

Product Description

Book by Hamilton A G

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo