Huth,, Michael.1962-

Overview

Works:	3 works in 1 publications in 1 languages

Titles

Logic in computer science :modelling and reasoning about systems / by: Huth,, Michael.1962- ; Ryan,, Mark.1962- (Language materials, printed)

Subjects

Computer logic.