Projet:Logique/Participants
Nom | Spécialité ou compétence |
---|---|
Pierre de Lyon | Logique mathématique orientée théorie de la démonstration, théorie des types et lambda-calcul. Je m'intéresse aussi à l'histoire |
Léna | Les Lois de De Morgan (ma première contribution !) mais sinon, lambda-calcul, calcul des prédicats, validation formelle et intérêt pour le reste |
Lepticed7 | Logique du premier ordre, logique de description. |