Ocena:
Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.
Classical Mathematical Logic: The Semantic Foundations of Logic
W Classical Mathematical Logic Richard L. Epstein odnosi systemy logiki matematycznej do ich pierwotnych motywacji do sformalizowania rozumowania w matematyce. Książka pokazuje również, w jaki sposób logika matematyczna może być wykorzystana do sformalizowania poszczególnych systemów matematycznych. Przedstawia formalizację nie tylko arytmetyki, ale także teorii grup, teorii pola i porządków liniowych. Prowadzi to do formalizacji liczb rzeczywistych i geometrii płaszczyzny euklidesowej. Zakres i ograniczenia współczesnej logiki zostały jasno przedstawione w tych formalizacjach.
Książka zawiera szczegółowe objaśnienia wszystkich dowodów, a także spostrzeżenia stojące za dowodami, jak również szczegółowe i nietrywialne przykłady i problemy. Książka zawiera ponad 550 ćwiczeń. Może być wykorzystywana na zaawansowanych kursach licencjackich i magisterskich, a także do samodzielnej nauki i jako materiał referencyjny.
Classical Mathematical Logic przedstawia ujednolicone podejście do materiału, który do tej pory był dostępny tylko poprzez konsultacje z wieloma różnymi książkami i artykułami naukowymi, napisanymi przy użyciu różnych systemów notacji i aksjomatyzacji.
