Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series)

出版社: Springer(2010-11-22)

ペーパーバック: 620 ページ / 15.5 x 3.6 x 23.5 cm

ISBN-10: 9048177251  ISBN-13: 9789048177257