Edition: Rocquencourt: Institut National de Recherche en Informatique et en Automatique
Langue: Français
Collation: 257 p. ;24 cm.
ISBN: 2726106692
Index décimal 511.3 .Logique mathématique (axiome du choix, axiomes, calcul des prédicats, calcul propositionnel, décidabilité, hypothèses, langages formels, logique symbolique, opérateurs logiques, théorème de complétude, théorème de Gödel, théorie des types)

Mots clés:
Logique symbolique et mathématique :Congrès
Programmation logique
Lambda-calcul
Logique
Traitement automatique des données

Note: Textes de la 17e Ecole de Printemps org. par le Laboratoire d'informatique theorique et programmation, du 24 au 28 avril 1989