Normal view
MARC view
Important properties of the accessibility relation (Topical Term)
Machine generated authority record.
Work cat.: (OSt)193302: Huth, Michael. 134366, Logic in computer science:, 2012.
