Herbrands satser

Det finns flera satser förknippade med namnet på den franske matematikern Jacques Herbrand :

Herbrands teorem är ett grundläggande resultat av matematisk logik, som förbinder första ordningens logik med propositionell logik .
Deduktionssatsen är en sats om sambandet mellan implikation och slutledning i logiska system.
Herbrand-Ribet-satsen är en sats från gruppteorin .
Herbrands teorem om grengrupper .

Lista över betydelser av ett ord eller en fras med länkar till relevanta artiklar .
Om du kom hit från texten i en annan Wikipedia-artikel, gå tillbaka och förfina länken för att peka på rätt artikel.