Mathematical logic in computer science - Domolki B; Gergely T (Amsterdam North Holland, 1981)
Keywords: Computer science; Mathematical logic