É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...
