(德)希尔柏脱(D.Hilbert),(德)阿克曼(W.Ackermann)著;莫绍揆译1958 年出版200 页ISBN:13031·750
本书是数理逻辑的有名经典著作之一,内容包括四章:第一章为命题演算,介绍基本逻辑联结词及其各种性质,并就命题演算而给出一个公理体系,证明其不矛盾性,完备性及互相独立性.第二章为类演算,兼讨论如何从类演算......
(英)戴维·米勒(D.W.Miller)编;张之沧译2000 年出版587 页ISBN:7214027879
作为20世纪最重要的思想家之一,波普尔在形而上学、科学哲学、认识论和社会哲学方面都为我们树立了思想的标尺,不论是赞同还是反对他的人都无法回避这一标尺:“只有在开放的思想与社会中,我们才能进行真正的、自...
STUDY GUIDE AND WORKING PAPERS FOR COLLEGE ACCOUNTING:SEVENTH EDITION
JOHN ELLIS PRICE PH.D C.P.A1994 年出版712 页ISBN:
HANDBOOK OF REAGENTS FOR ORGANIC SYNTHESIS OXIDIZING AND REDUCING AGENTS
STEVEN D.BURKE RICK L.DANHEISER1999 年出版554 页ISBN:
HANDBOOK OF ELECTROEMCEPHALOGAPHY AND CLINICAL NEUROPHYSIOLOGY VOLUME 5 PART A
M.A.B.BRAZIER AND D.O.WALTER M.MATOUSEK1973 年出版138 页ISBN:044441116X
(美)John D.Carpinelli著;李仁发,彭蔓蔓译2003 年出版409 页ISBN:7115112436
本书详细叙述了有关计算机及其子系统的基本概念及相关知识。全书由三大部分组成:第一部分是数字逻辑和有限状态机,介绍了布尔代数基础、数字部件、组合逻辑和顺序逻辑、可编程逻辑器件。有限状态机是全书的基...
(英)W.G.赫夫(W.G.Huff)著;牛磊,李洁译2001 年出版471 页ISBN:7501748780
本书分为三部分。第一部分是1870~1990年间新加坡经济发展分析与解释的框架;第二部分分析了新加坡作为一个特产港在1900~1939年间的经济发展;第三部分研究了第二次世界大战后的经济增长。...
METHODS FOR COMMUNITY PUBLIC HEALTH RESEARCH INTEGRATED AND ENGAGED APPROACHES
JESSICA G.BURKE AND STEVEN M.ALBERT2014 年出版261 页ISBN:0826198775
E-GOVERNMENT IN EUROPE RE-BOOTING THE STATE
PAUL G.NIXON AND VASSILIKI N.KOUTRAKOU2010 年出版221 页ISBN:0415599482