00480nam a2200157Ia 4500 230718s9999 xx 000 0 und d eng 005.105113 HUT Huth M. 175108 Logic In Computer Science Modelling And Reasoning About Systems 2010 Cambridge University Press 427 Rs. 495.00 Huth M. & Ryan M. 191714 O:0138015-Dec-2010B:301030-Oct-2010 COMP 123.75 326594 326594 0 0 0 0 CCEP CCEP 2010-12-15 Pradeep Book Distributors COMP 371.25 3010 0 005.105113 CCEP-BK-37801 2023-07-18 00:00:00 123.75 495.00 2010-10-30 BK 037801