2 relationer: École normale supérieure, Deduktionsteoremet.
École normale supérieure
300px École normale supérieure, ENS, är en prestigefull fransk grande école förlagd i Paris och dess förorter.
Ny!!: Jacques Herbrand och École normale supérieure · Se mer »
Deduktionsteoremet
Deduktionsteoremet (även kallad "CP-regeln", från engelska: Conditional Proof) är ett metateorem inom satslogiken.