Normal view
MARC view
LOGIC; PHILOSOPHY(Topical Term)
Machine generated authority record.
Work cat.: (OSt)135906: Baader Franz [...et al] Au. 31330, Introduction to description logic, 2017