Mathematical Logic and Hilbert’s ε-Symbol (1969)

by A Leisenring