Machine generated authority record.

Work cat.: (Co-BoUCM): 92620 Frege, Gottlob 1848-1925, Basic laws of arithmetic, derived using concept-script, 2013