Basic laws of arithmetic - Frege Gottlob; Furth M Tr. (1964)