User:Nkanfer/Frege's puzzles/Bibliography