Events Tagged: "Herbrand theorem"

1 events with tag "Herbrand theorem"

1930 ID: 399
Jacques Herbrand proves Herbrand's theorem, fundamental result connecting proof theory and model theory
ID: 399