Allan K. Swett

1947

• Herbrand's theorem in infinitary logic