00544nam a2200217Ia 4500 9780521670890 English 005.115 HUT HUTH AND RYAN NO LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS 2 CAMBRIDGE 2012 427 25 Paper 595.00 Rupees PURCHASE ALLIED PUBLISHERS 21-09-2013 Supplier COMPUTER SCIENCE CENTRAL LIBRARY BK 50643 50643 0 0 0 0 SSN SSN 2014-11-08 595.00 1 5 005.115 HUT 55539 2017-04-12 00:00:00 2017-01-31 2014-11-08 756 BK CSE