You have chosen Higher-Order Logic, The Origin of the Species and Higher-Order Logic.
All three must be different; choose another text.