Poster un commentaire à la suite de l’article...

mercredi 27 mai 2015
par  Alain BUSSER

Construction de la logique propositionnelle dans le λ-calcul

Comment Church et Kleene représentent le calcul propositionnel avec des fonctions, juste des fonctions et rien d’autre.

modération a priori

Ce forum est modéré a priori : votre contribution n’apparaîtra qu’après avoir été validée par un administrateur du site.

Qui êtes-vous ?
Votre message

Pour créer des paragraphes, laissez simplement des lignes vides.