From Frege to Gödel a source book in mathematical logic, 1879 - 1931 (toExcel, 1999)