Title: Foundations of computing
First published: 1994
Subjects: Logic, Symbolic and mathematical, Set theory, Symbolic and mathematical Logic, System design
LC classification: QA76.9.S88 S29 1994