Logika tried

Logika tried je odvetvie logiky, ktoré skúma triedy.

Referencie 

Logika