000
00277nam a2200109Ia 4500
008
241121s9999 xx 000 0 und d
020
_a
9789387472433
100
_a
Arindama Singh
_9
10845
245
0
_a
Logics for Computer Science
260
_b
PHI Learning
260
_c
2nd ed./ 2018
999
_c
4214
_d
4214