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...

SCOTLAND 2070. En bonne santé, riche et sage - SCOTLAND 2070. Healthy Wealthy Wise

Quel type d'Écosse imaginons-nous pour nos enfants et nos...

Kings College Pubn

Livres publiés jusqu'à présent par l'éditeur Kings College Pubn :