Title: Logic, language, and computation
Subjects: Computer science
People: Satoru Takasu (1931-)