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