Raționament în teoria tipurilor simple: Festschrift în onoarea lui Peter B. Andrews la cea de-a 70-a...
Reasoning in Simple Type Theory este o colecție de...
Picturing Programs. o introducere în programarea calculatoarelor - Picturing Programs. an...
Un prim curs de programare nu ar trebui să fie...
Întrebări, inferențe și scenarii - Questions, Inferences, and Scenarios
„Importanța întrebărilor este dincolo de orice îndoială. Dar gradul de...
The Road Not Taken. despre filosofia logicii și matematicii lui Husserl - The Road Not Taken. on...
Din diferite motive, ideile originale și...
Cunoștințe în flux: modelarea dinamicii stărilor epistemice - Knowledge in Flux: Modeling the...
Aceasta este o nouă ediție a textului clasic al...
Filosofia și istoria logicii talmudice - Philosophy and History of Talmudic Logic
Talmudul introduce o hermeneutică logică specifică, complet...
Logică formală: Probleme clasice și demonstrații - Formal Logic: Classical Problems and...
Logica este - fără îndoială - despre demonstrații,...
Dialogurile ca un cadru dinamic pentru logică - Dialogues as a Dynamic Framework for Logic
Logica dialogică a fost sugerată la sfârșitul anilor...
Regulile de inferență textuală Klal Uprat. Cum definește Talmudul seturile - The Textual Inference...
Analizăm familia de reguli textuale Klal uPrat din...
