ENGLISH

A Friendly Introduction to Mathematical Logic

By Christopher C. Leary

Book information

Publisher
Prentice Hall
Year
1999
ISBN
0130107050, 9780130107053
LCC
QA76.9.L63 L43 2000
Open Library ID
OL22051269M
Language
english
Format
PDF
Filesize
7 MB (7664449 bytes)
Edition
1st
Pages
241\241
Scanned
yes
Time added
2011-08-31 04:54:40

Description

This user-friendly introduction to the key concepts of mathematical logic focuses on concepts that are used by mathematicians in every branch of the subject. Using an assessible, conversational style, it approaches the subject mathematically (with precise statements of theorems and correct proofs), exposing readers to the strength and power of mathematics, as well as its limitations, as they work through challenging and technical results. KEY TOPICS: Structures and Languages. Deductions. Comnpleteness and Compactness. Incompleteness--Groundwork. The Incompleteness Theorems. Set Theory. : For readers in mathematics or related fields who want to learn about the key concepts and main results of mathematical logic that are central to the understanding of mathematics as a whole.

Similar books

Session C11: Ancient Cultural Landscapes in South Europe – their Ecological Setting and Evolution, Session C22: Gardeners from South America, Session S04: Agro-Pastoralism and Early Metallurgy Sessions, Session WS29: The Idea of Enclosure in Recent Iberian Prehistory, Session C88: Rhytmes et causalites des dynamiques de l'anthropisation en Europe entre 6500 ET 500 BC: Hypotheses socio-culturelles et/ou climatiques: Proceedings of the XV UISPP World Congress (Lisbon 4-9 September 2006) / Actes du XV Congrès Mondial (Lisbonne 4-9 Septembre 2006) Vol.36

Session C11: Ancient Cultural Landscapes in South Europe – their Ecological Setting and Evolution, Session C22: Gardeners from South America, Session S04: Agro-Pastoralism and Early Metallurgy Sessions, Session WS29: The Idea of Enclosure in Recent Iberian Prehistory, Session C88: Rhytmes et causalites des dynamiques de l'anthropisation en Europe entre 6500 ET 500 BC: Hypotheses socio-culturelles et/ou climatiques: Proceedings of the XV UISPP World Congress (Lisbon 4-9 September 2006) / Actes du XV Congrès Mondial (Lisbonne 4-9 Septembre 2006) Vol.36

2010 · PDF