Title: The Journal of computing systems
Subjects: Computers, Periodicals, Computer arithmetic, Symbolic and mathematical Logic, Mathematics