Mathematical logic and Hilbert's E-symbol
Leisenring, A. C.
London Macdonald Technical & Scientific
1969
bibl p129-132
Logic, Symbolic and mathematical.