History of formal logic ([Verlag nicht ermittelbar], 1961)