Syntéza pojmov v Talmude - Synthesis of Concepts in the Talmud

Táto kniha sa vracia k diskusii o analógii a indukcii z prvého dielu a analyzuje ich podstatu...

Zdôvodňovanie v teórii jednoduchých typov: Andrews pri príležitosti jeho 70. narodenín - Reasoning...

Reasoning in Simple Type Theory je zbierka...

Obrázkové programy. úvod do počítačového programovania - Picturing Programs. an Introduction to...

Prvý kurz programovania by nemal byť zameraný na...

Otázky, inferencie a scenáre - Questions, Inferences, and Scenarios

„O dôležitosti otázok niet pochýb. V logike a lingvistike sa im však stále venuje...

Cesta, po ktorej sa nešlo. o Husserlovej filozofii logiky a matematiky - The Road Not Taken. on...

Husserlove originálne, podnetné myšlienky o...

Znalosti v pohybe: modelovanie dynamiky epistemických stavov - Knowledge in Flux: Modeling the...

Toto je nové vydanie G rdenforsovho klasického...

Filozofia a dejiny talmudskej logiky - Philosophy and History of Talmudic Logic

Talmud zavádza špecifickú logickú hermeneutiku, úplne odlišnú od...

Formálna logika: Klasické problémy a dôkazy - Formal Logic: Classical Problems and Proofs

Logika je - nepochybne - celá o dokazovaní, ale...

Dialógy ako dynamický rámec logiky - Dialogues as a Dynamic Framework for Logic

Dialógová logika bola navrhnutá koncom 50. rokov 20. storočia Paulom...

Pravidlá textového odvodzovania Klal Uprat. Ako Talmud definuje množiny - The Textual Inference...

Analyzujeme rodinu textových pravidiel Klal uPrat...

Kings College Pubn

Doterajšie vydané knihy vydavateľstva Kings College Pubn: