Proof Analysis - A Contribution to Hilberts Last Problem

Buku ini melanjutkan dari mana penulis buku sebelumnya, Structural Proof Theory, berakhir. Buku ini menyajikan sebuah perpanjangan dari metode analisis bukti dalam logika murni untuk sistem aksiomatis dasar dan apa yang dikenal sebagai logika filosofis. Sebuah pengantar singkat mandiri dengan bukti teori logika murni adalah termasuk yang melayani baik pembaca berorientasi matematis dan filosofis. Metode ini dibangun secara bertahap,dengan contoh-contoh yang diambil dari teori teori ketertiban, kisi dan geometri dasar.Tujuannya adalah, dalam setiap contoh, untuk membantu pembaca memahami perilaku kombinatorial dari sistem aksioma, yang biasanya mengarah ke hasil decidability.Menyajikan bagian terakhir, sebagai aplikasi dan perpanjangan dari semua yang mendahului itu, pendekatan bukti-teoritis untuk semantik Kripke dari logika modal danterkait, dengan sejumlah besar hasil baru, menyediakan bacaan penting bagi ahli logika matematika dan filosofis.
download  |  Proof Analysis - A Contribution to Hilberts Last Problem