00465nam a2200157Ia 4500001000500000005001700005008004100022020001500063082001600078100002700094245002700121260002000148650003000168999001500198952009400213649320261006003939.0120911s9999    xx            000 0 und d  a0133963756  a005.131 KER  a Kelly, john j. 97499  a The essence of logic   a Prentice hall   a Logic programming 97500  c6493d6493  00104070aNUbNUd2012-09-11l0o005.131 KERp7278r2012-09-11 00:00:00w2012-09-11yOS