Title: Herbrand's theorem in infinitary logic
Subjects: Logic, Symbolic and mathematical, Symbolic and mathematical Logic
People: Jacques Herbrand (1908-1931)