Title: Applications of logic to advanced digital computer programming
Subjects: Computers