種別	[hbm]
セクション	JRF の公開ブックマーク
日時	2006年09月07日 17:37:39
元URL	http://www.amazon.com/gp/product/0198537611
タグ	[論理学]

Amazon.com: Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures (Handbook of Logic in Computer Science): Books: S. Abramsky,Dov M. Gabbay,T. S. E. Maibaum