Normal view
MARC view
Logic, Symbolic and mathematical Famous problems. (Topical Term)
Machine generated authority record.
Work cat.: (OSt): Kowalski, Robert, author. 74399, Computational logic and human thinking :