Normal view
MARC view
Gallier, Jean H. (Personal Name)
Machine generated authority record.
Work cat.: (OSt): Gallier, Jean H. , Logic for Computer Science: Foundations of Automatic Theorem Proving, 2015