Investigations sur le calcul des prédicats - Investigations into the Predicate Calculus

Oiva Ketonen (1913--2000) est l'étudiant le plus proche du...

Dualités pour les structures de la logique appliquée - Dualities for Structures of Applied...

Ce livre fournit un cadre pour présenter les...

Logique et informatique contemporaines - Contemporary Logic and Computing

Le présent volume est issu d'une proposition de livre faite il y a environ deux...

Manuel d'argumentation formelle - Handbook of Formal Argumentation

Le Handbook of Formal Argumentation est un effort communautaire visant à fournir une vue...

Apprendre PROLOG maintenant ! - Learn PROLOG Now!

Prolog est un langage de programmation, mais un langage plutôt inhabituel. Prolog'' est l'abréviation de...

Trumponomics : Causes et conséquences - Trumponomics: Causes and Consequences

"La conquête de la présidence américaine par Donald Trump a choqué...

Un satellite de calcul lambda - A Lambda Calculus Satellite

En 1936, la notion de calculabilité intuitive a été opérationnalisée de deux manières différentes...

Un siècle depuis que la substitution de Principia a ébloui Haskell Curry. En l'honneur du 80e...

En 1922, Curry a commencé à lire Principia...

O'Kheiluf ! La lutte rabbinique contre la contrapositive - O'Kheiluf! The Rabbinic Struggle...

Dans ce livre, Amelia Spivak découvre un type...

Un abécédaire mathématique de la calculabilité - A Mathematical Primer on Computability

Ce livre constitue une introduction complète à la...

Kings College Pubn

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