Értékelés:
Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.
Classical Mathematical Logic: The Semantic Foundations of Logic
A klasszikus matematikai logikában Richard L. Epstein a matematikai logika rendszereit a matematikai érvelés formalizálásának eredeti motivációihoz kapcsolja. A könyv azt is bemutatja, hogy a matematikai logika hogyan használható a matematika egyes rendszereinek formalizálására. Nemcsak az aritmetika, hanem a csoportelmélet, a mezőelmélet és a lineáris rendezések formalizálását is bemutatja. Ezek elvezetnek a valós számok és az euklideszi síkgeometria formalizálásához. A modern logika hatókörét és korlátait ezek a formalizációk teszik világossá.
A könyv részletes magyarázatot ad minden bizonyításhoz és a bizonyítások mögött álló felismerésekhez, valamint részletes és nem triviális példákat és problémákat tartalmaz. A könyv több mint 550 feladatot tartalmaz. Használható haladó egyetemi vagy főiskolai kurzusokon, valamint önképzésre és referenciaként.
A Klasszikus matematikai logika olyan anyag egységes kezelését mutatja be, amely eddig csak sok különböző, különböző jelölésrendszerekkel és axiomatizációkkal írt könyv és kutatási cikk tanulmányozásával volt elérhető.
