Mathematical Logic And Hilbert's E-Symbol by A.C. Leisenrigh & A.C. Leisenring