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