Normal view
MARC view
Taitslin, M. A. (Mikhail A.), 1936- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): Logical foundations of computer science--Tver '92 :