00478nam a22001817a 4500 3696 3696 20210204113246.0 210203b ||||| |||| 00| 0 eng d 9780521670890 eng 005.1015113 SRI/O Michael Huth Logic in Computers Science : Modelling And Reasoning About Systems 2nd Cambridge Cambridge University Press 2004 427 Mark Ryan BK 0 0 0 0 CSE IITTP IITTP GEN 2021-02-03 The Book Syndicate 703.00 BS/40523 0 005.1015113 HUT/L 07301 2021-02-03 00:00:00 950.00 2021-01-19 BK 0 0 0 0 CSE IITTP IITTP GEN 2021-02-03 The Book Syndicate 703.00 BS/40523 0 005.1015113 HUT/L 07302 2021-02-03 00:00:00 950.00 2021-01-19 BK 0 0 0 0 CSE IITTP IITTP REF 2021-02-03 The Book Syndicate 703.00 BS/40523 0 REF 005.1015113 HutL2 07303 2021-02-03 00:00:00 950.00 2021-01-19 REF 0 0 0 0 CSE IITTP IITTP GEN 2021-02-22 The Book Syndicate 703.00 BS/40405 0 005.1015113 HUT/L 07505 2021-02-22 00:00:00 950.00 2020-11-10 BK