<![CDATA[ Search for 'se,phr:"Applied logic series " and itype:BK']]>

<![CDATA[ Search for 'se,phr:"Applied logic series " and itype:BK']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=se%2Cphr%3A%22Applied%20logic%20series%20%22%20and%20itype%3ABK&format=rss2 4 0 50 Multi-Dimensional Modal Logic ISBN 9789401064019 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=24697 By Marx, Maarten. Dordrecht: Springer, 1997 . xiii, 239 p.; 24 cm.. 9789401064019

Place Hold on Multi-Dimensional Modal Logic

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=24697 Inference on the low level : an investigation into deduction, nonmonotonic reasoning, and the philosophy of cognition ISBN 1402024924 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=4727 By Leitgeb, Hannes. Dordrecht: Kluwer Academic Publishers, 2004 . ix, 838 p.; 25 cm.. 1402024924

Place Hold on Inference on the low level : an investigation into deduction, nonmonotonic reasoning, and the philosophy of cognition

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=4727 Hybrid logic and its proof-theory ISBN 9789400700017 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=24687 By Brauner, Torben. Dordrecht: Springer, 2011 . xiii, 231 p.; 25 cm.. 9789400700017

Place Hold on Hybrid logic and its proof-theory

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=24687 Analysis and synthesis of logics : how to cut and paste reasoning systems ISBN 9781402067815 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=20077 By Carnielli, Walter. Dordrecht: Springer, 2008 . xvi, 600 p.; 25 cm.. 9781402067815

Place Hold on Analysis and synthesis of logics : how to cut and paste reasoning systems

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=20077