You have chosen Lukes, Hilbert,D/Ackermann,W and Hilbert,D/Ackermann,W.
All three must be different; choose another philosopher.