Normal view
MARC view
Mathematical Intermatque (Topical Term)
Machine generated authority record.
Work cat.: (OSt)7538: Ben-Ari, Mordechai 1948- 14586, Mathematical logic for computer science , 2001.