You have chosen Sweet Dreams, On Second-Order Logic and On Second-Order Logic.
All three must be different; choose another text.