00653nam a2200217Ia 4500 20230704144145.0 210716s2008 xx 000 0 und d 9788181283443 AIMIT LIBRARY eng 511.3 2 BENM Ben-Ari, Mordechai. 125462 Mathematical logic for computer science / By Mordechai Ben-Ari 2nd ed. New Delhi : Springer , 2008. xiv,304p. ; PB : 22.5 cm Propositional Calculus 125463 Logic Programming 125464 Temporal Logic 125465 ddc BK 511.3 BENM 190244 190244 0 0 ddc 0 0 MCA AIMIT AIMIT Current Books 595.00 Bill no:27; Bill dt:2010-04-30 0 511.3 BENM MCA09752 2026-05-23 00:00:00 428.40 2021-07-16 BK 0 0 ddc 0 0 MCA AIMIT AIMIT Current Books 595.00 Bill no:27; Bill dt:2010-04-30 0 511.3 BENM MCA09753 2026-05-23 00:00:00 428.40 2021-07-16 BK 0 0 ddc 0 0 MCA AIMIT AIMIT Current Books 595.00 Bill no:27; Bill dt:2010-04-30 0 511.3 BENM MCA09754 2026-05-23 00:00:00 428.40 2021-07-16 BK 0 0 ddc 0 0 MCA AIMIT AIMIT Current Books 595.00 Bill no:27; Bill dt:2010-04-30 0 511.3 BENM MCA09755 2026-05-23 00:00:00 428.40 2021-07-16 BK