Normal view
MARC view
- Ben-Ari, M.,
Ben-Ari, M., 1948- (Personal Name)
Machine generated authority record.
Work cat.: (BD-SySUS)0: Ben-Ari, M., 1948-, Mathematical logic for computer science /, c2012.