Logische Kategorien - Hájek, Petr 1940- (1975)