Research handbook on public choice and public law
edited by Daniel A. Farber and Anne Joseph OConnell2010 年出版502 页ISBN:9781847206749;1847206743
(美)尼罗德(Nerode,A.)等著2006 年出版457 页ISBN:7111197720
本是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书,书中强调了演绎作为计算的一种形式的概念。虽然本书覆盖了所有传统的逻辑主题(语法、语义、完备性和紧致性),但是书中大部分内容讨论的是其他主题...
王立宪绘2001 年出版28 页ISBN:7805035288
本书收入“远处的田野”、“柿子熟了”、“秋儿”、“春色”、“我的故事”、“拾穗”、“静静的小河”等油画作品20多幅。