Huth (Michael); Ryan (Mark)
Logic in Computer Science: Modelling and Reasoning About Systems - 2 - 2005 - Paper Paper Pack NO
22.5
Computer Science
0-521-67089-6
Computer Science
681.3.2 HUT
Logic in Computer Science: Modelling and Reasoning About Systems - 2 - 2005 - Paper Paper Pack NO
22.5
Computer Science
0-521-67089-6
Computer Science
681.3.2 HUT