I'm looking for something that dives into the philosophical idea of a "proof," and explains how the subjects of mathematics and logic deal with it. Does anyone have any book or article recommendations that might lead me to the discussion I am looking for?
Any information you can offer would be greatly appreciated!