Philosophy of Logic Description ... Susan Haack, "Philosophy of Logics" Douglas R Hofstadter, "Gödel, Escher, Bach: An Eternal Golden Braid"
