From frege to godel: a source bool in mathematical logic - Heijenoort Lean Van (1967)