Logical Writings (1972)

by J Herbrand