Le calcul lambda. Sa syntaxe et sa sémantique - The Lambda Calculus. Its Syntax and...
Le calcul lambda, traité dans ce livre principalement dans...
Théorie des ensembles - Set Theory
Ce livre est destiné aux lecteurs qui connaissent la logique mathématique élémentaire et la théorie axiomatique des ensembles, et qui...
Manuel de logique épistémique - Handbook of Epistemic Logic
La logique épistémique et, plus généralement, les logiques de la connaissance et de la...
Qu'est-ce qu'un ordinateur et que peut-il faire ? - What Is a Computer and What Can It...
Lorsque les étudiants arrivent à la fin d'un cours...
La finance comme arme de guerre - Finance as Warfare
Michael Hudson est l'un des plus grands critiques du capitalisme financier contemporain. Il fait également...
Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications (Journal IfCoLog de...
The Journal of Applied Logics - IfCoLog Journal of...
Logique algébrique abstraite. Un manuel d'introduction - Abstract Algebraic Logic. An Introductory...
La logique algébrique abstraite est le côté le...
Conséquence abstraite et logique : essais en l'honneur d'Edelcio G. de Souza - Abstract Consequence...
Edelcio G. de Souza (Université de São Paulo,...
Une question est plus éclairante qu'une réponse. Un hommage à Paolo A. S. Veloso - A Question is...
Ce volume est dédié à la mémoire de Paulo A. S...
