Normal view
MARC view
Gallston, Arthur W (Personal Name)
Machine generated authority record
Work cat.: (BRAOU)16810: Gallston, Arthur W., Logic for computer science: Foundations of automatic theorem