Frederic Brenton Fitch

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

Frederic Brenton Fitch (1908–1987) est un logicien américain, professeur émérite de l’université Yale, connu notamment pour son système de notation de la déduction naturelle.