I'm looking for books critizising the Qur'an from the standpoint, of internal consistency, History etc.
look up what Kurt Gödel said about it as a logician.