Machine generated authority record.

Work cat.: (Co-BoUCM)93082: Van Heijenoort, Jean 1912- comp., From Frege to Gödel a source book in mathematical logic, 1879-1931, 1967