Advances in Modal Logic, Volume 13 (en anglais) - Advances in Modal Logic, Volume 13
La logique traite des notions fondamentales de vérité et de...
Une introduction à l'analyse mathématique et aux fondements de l'informatique - A Primer of...
Ce livre propose une approche différente de...
Synthèse des concepts dans le Talmud - Synthesis of Concepts in the Talmud
Ce livre reprend la discussion du volume 1 sur l'analogie et l'induction et...
Raisonnement dans la théorie des types simples : Festschrift en l'honneur de Peter B. Andrews à...
Reasoning in Simple Type Theory est un recueil...
Picturing Programs. une introduction à la programmation informatique - Picturing Programs. an...
Un premier cours de programmation ne devrait pas...
Questions, inférences et scénarios - Questions, Inferences, and Scenarios
« L'importance des questions ne fait aucun doute. Mais le degré...
Le chemin non parcouru : la philosophie husserlienne de la logique et des mathématiques - The Road...
Pour différentes raisons, les idées originales et...
La connaissance en mouvement : modélisation de la dynamique des états épistémiques - Knowledge in...
Il s'agit d'une nouvelle édition du texte...
Philosophie et histoire de la logique talmudique - Philosophy and History of Talmudic...
Le Talmud introduit une herméneutique logique...
