Handbook of Logic and Proof Techniques for Computer Science

出版社

Birkhauser Boston

出版时间

2002

ISBN

081764220X

标注页数

245 页

PDF页数

263 页