Normal view
MARC view
Krantz, Steven G. (Steven George), 1951- (Personal Name)
Machine generated authority record.
Work cat.: (APU)0: Krantz, Steven G. (Steven George), 1951-, Handbook of logic and proof techniques for computer science /, 2002.