Title: Studies on the logic of automatic computation
Subjects: Computers