000
00279nam a2200109 4500
008
160616s 000 0
245
_a
Logic of programming and calculi of discrete design
100
_a
Broy, M
500
_a
D6,8(B) M736
942
_c
BK
_2
BK6369
080
_a
681.3.04 BRO
999
_c
6369
_d
6369