Érvelés az egyszerű típuselméletben: Festschrift in Honor of Peter B. Andrews on His 70th Birthday...

A Reasoning in Simple Type Theory egy olyan...

Programok ábrázolása. Bevezetés a számítógépes programozásba - Picturing Programs. an Introduction...

Az első programozási kurzusnak nem egy adott...

Kérdések, következtetések és forgatókönyvek - Questions, Inferences, and Scenarios

„A kérdések fontossága kétségtelen. De a logikában és a...

A be nem járt út. Husserl logikai és matematikai filozófiájáról - The Road Not Taken. on Husserl's...

Különböző okokból Husserl eredeti,...

A tudás mozgásban: Az episztemikus állapotok dinamikájának modellezése - Knowledge in Flux: Modeling...

Ez G rdenfors klasszikus szövegének új kiadása,...

A talmudi logika filozófiája és története - Philosophy and History of Talmudic Logic

A Talmud egy sajátos logikai hermeneutikát vezet be, amely...

Formal Logic: Klasszikus problémák és bizonyítások - Formal Logic: Classical Problems and...

A logika - vitathatatlanul - a bizonyításról szól,...

A párbeszédek mint a logika dinamikus kerete - Dialogues as a Dynamic Framework for Logic

A dialogikus logikát az 1950-es évek végén Paul...

A szöveges következtetési szabályok Klal Uprat. Hogyan definiálja a Talmud a halmazokat - The...

Elemezzük a Talmudban található Klal uPrat...

A közös tulajdon elméletei a talmudi logikában - Theories of Joint Ownership in Talmudic...

Ez a könyv a Talmudi logikai tanulmányok sorozat...

Kings College Pubn

Kings College Pubn kiadó eddig megjelent könyvei: