Popular Lectures on Mathematical Logic
A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory.Topics include the place of problems in the development of theories of logic and logic's relation to computer science. Specific attention is given to Gödel's incompleteness theorems, predicate logic and its decision an…
Mehr
CHF 12.25
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
- ISBN: 978-0-486-17104-3
- EAN: 0800759171040
- Produktnummer: 20500222
- Verlag: Dover Publications
- Sprache: Englisch
- Erscheinungsjahr: 2014
- Seitenangabe: 292 S.
- Plattform: EPUB
- Masse: 20'762 KB
74 weitere Werke von Hao Wang:
Proceeding of the International Conference on Computer Networks, Big Data and IoT (ICCBI - 2018)
Ebook (PDF Format)
CHF 189.00
Knowledge Graph and Semantic Computing: Knowledge Graph Empowers New Infrastructure Construction
Ebook (PDF Format)
CHF 88.50
Methods and Techniques for Preventing and Mitigating Water Hazards in Mines
Ebook (PDF Format)
CHF 177.00
Materials Characterisation and Mechanism of Micro-Cutting in Ultra-Precision Diamond Turning
Ebook (PDF Format)
CHF 177.00
Bewertungen
Anmelden