A formalization of the logic of Aristotle [microform] - Majul, Cesar Adib 1923- (Photoduplication Service, 1973)