C. D. Walter

1 published title

A first course in formal logic and its applications in computer science

(Contributor)

1 edition