Présentation de l'auteur Odysseus Makridis :

Livres publiés jusqu'à présent par Odysseus Makridis :

Logique symbolique - Symbolic Logic
Palgrave Macmillan Ltd
Ce livre propose une introduction complète aux éléments essentiels de la logique symbolique standard (classique). Les principaux...
Logique symbolique - Symbolic Logic
La logique formelle à la portée de tous : Vol II : Sémantique et théorie de la preuve pour la...
Kings College Pubn
Ce texte, volume II d'un ouvrage en deux volumes,...
La logique formelle à la portée de tous : Vol II : Sémantique et théorie de la preuve pour la logique des prédicats - Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic
Découvrir la logique formelle : Vol 1 : Théorie et procédures de décision pour la logique...
Kings College Pubn
Ce texte, volume I d'un ouvrage en deux volumes,...
Découvrir la logique formelle : Vol 1 : Théorie et procédures de décision pour la logique propositionnelle - Fathoming Formal Logic: Vol 1: Theory and Decision Procedures for Propositional Logic
<<
1
>>