The basic laws of arithmetic exposition of the system - Frege, Gottlob 1848-1925 (University of California Press, 1964)