Философия и логика: различие между родом и видом в логических системах