Title: Logic, computers, and sets
First published: 1970
Subjects: Machine theory, Set theory, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA9 .W35 1970