Herbrand tételei

Számos tétel kapcsolódik Jacques Herbrand francia matematikus nevéhez :

A Herbrand-tétel a matematikai logika alapvető eredménye, amely összekapcsolja az elsőrendű logikát a propozíciós logikával .
A dedukciós tétel egy tétel az implikáció és a következtetés kapcsolatáról a logikai rendszerekben.
A Herbrand-Ribet tétel a csoportelmélet tétele .
Herbrand tétel az ágcsoportokról .

Egy szó vagy kifejezés jelentéseinek listája releváns cikkekre mutató hivatkozásokkal .
Ha egy másik Wikipédia-cikk szövegéből került ide, kérjük, menjen vissza, és finomítsa a hivatkozást , hogy a megfelelő cikkre mutasson.