Normal view
MARC view
Proposition [Logic] (Topical Term)
Machine generated authority record.
Work cat.: (): Singh, Arindama 37392, Logics for computer science/, c2003
