Mathematical Logic and Hilbert's �-symbol (1969)

by A C Leisenring