谁有SOC cs3234 formal logic的书呀？想买。Logic in Computer Science: Modelling and reasoning about systems
by Michael Huth and Mark Ryan
[灌装椰子泪泪 (8-9 18:03, Long long ago)] [ 传统版 | sForum ][登录后回复]1楼

i hv, $5mmoopp1@mop.com[Basah (8-11 14:36, Long long ago)] [ 传统版 | sForum ][登录后回复]2楼