Reasoning in Simple Type Theory: Festschrift zu Ehren von Peter B. Andrews zu seinem 70. Geburtstag...

Reasoning in Simple Type Theory ist eine Sammlung...

Picturing Programs. Eine Einführung in die Computerprogrammierung - Picturing Programs. an...

Ein erster Programmierkurs sollte nicht darauf...

Fragen, Schlussfolgerungen und Szenarien - Questions, Inferences, and Scenarios

„Die Bedeutung von Fragen steht außer Zweifel. Aber der Grad der...

Der nicht eingeschlagene Weg. Zu Husserls Philosophie der Logik und Mathematik - The Road Not Taken...

Aus unterschiedlichen Gründen wurden Husserls...

Wissen im Fluss: Modellierung der Dynamik von epistemischen Zuständen - Knowledge in Flux: Modeling...

Es handelt sich um eine Neuauflage des Klassikers...

Philosophie und Geschichte der talmudischen Logik - Philosophy and History of Talmudic...

Der Talmud führt eine spezifische logische...

Formale Logik: Klassische Probleme und Beweise - Formal Logic: Classical Problems and...

In der Logik geht es zweifellos um Beweise, aber...

Dialoge als dynamischer Rahmen für die Logik - Dialogues as a Dynamic Framework for Logic

Die Dialogische Logik wurde Ende der 1950er Jahre von...

Die textuellen Inferenzregeln Klal Uprat. Wie der Talmud Mengen definiert - The Textual Inference...

Wir analysieren die Klal-UPrat-Familie von...

Theorien des gemeinsamen Besitzes in der talmudischen Logik - Theories of Joint Ownership in...

Dieses Buch ist das vierzehnte in der Reihe...

Kings College Pubn

Bisher veröffentlichte Bücher des Verlags Kings College Pubn: