Title: Mathematical logic and theoretical computer science
Subjects: Electronic data processing, Symbolic and mathematical Logic, Algebra, Logic, symbolic and mathematical, Computer science