Détail de l'auteur
Documents disponibles écrits par cet auteur (1)
Faire une suggestion Affiner la recherche
texte imprimé
Introduction à une approche sémantique du calcul des énoncés, aux questions formelles, aux ressources des langages du 1er ordre, au calcul des prédicats, etc.
