Logic in Computer Science: Modelling and Reasoning About Systems - Huth (Michael); Ryan (Mark) (2005)
Computer Science
22.5
Keywords: Computer Science