Synteza pojęć w Talmudzie - Synthesis of Concepts in the Talmud

Ta książka powraca do dyskusji w tomie 1 na temat analogii i indukcji i analizuje ich...

Rozumowanie w prostej teorii typów: Festschrift na cześć Petera B. Andrewsa z okazji 70. urodzin -...

Reasoning in Simple Type Theory to zbiór...

Obrazowanie programów. wprowadzenie do programowania komputerowego - Picturing Programs. an...

Pierwszy kurs programowania nie powinien być...

Pytania, wnioski i scenariusze - Questions, Inferences, and Scenarios

„Znaczenie pytań nie ulega wątpliwości. Ale stopień uwagi poświęcanej im w...

The Road Not Taken. on Husserl's Philosophy of Logic and Mathematics (Filozofia logiki i matematyki...

Z różnych powodów oryginalne, prowokujące do...

Wiedza w ruchu: modelowanie dynamiki stanów epistemicznych - Knowledge in Flux: Modeling the...

Jest to nowe wydanie klasycznego tekstu G...

Filozofia i historia logiki talmudycznej - Philosophy and History of Talmudic Logic

Talmud wprowadza specyficzną hermeneutykę logiczną, całkowicie...

Logika formalna: Klasyczne problemy i dowody - Formal Logic: Classical Problems and Proofs

Logika polega - bez wątpienia - na dowodzeniu, ale...

Dialogi jako dynamiczne ramy dla logiki - Dialogues as a Dynamic Framework for Logic

Logika dialogiczna została zaproponowana pod koniec lat 50...

Tekstowe reguły wnioskowania Klal Uprat. Jak Talmud definiuje zbiory - The Textual Inference Rules...

Analizujemy rodzinę reguł tekstowych Klal uPrat w...

Kings College Pubn

Dotychczas wydane książki wydawnictwa Kings College Pubn: