Mathematical logic in computer science (North-Holland Publ. Co., 1981)