COMPUTERS from logic to architecture
R.D.DOWSING and F.W.D.WOODHAMS1990 年出版290 页ISBN:
THE FOUNDATIONS OF ANALYSIS:A STRAIGHTFORWARD INTRODUCTION BOOK 1 LOGIC,SETS AND NUMBERS
K.G.BINMORE2222 年出版131 页ISBN:0521233224
语言、逻辑与认知 语言逻辑和语言哲学论集 an essay in language, logic and philosophy
蔡曙山著2007 年出版434 页ISBN:7302139156
本书是作者近年来对语言、逻辑和认知研究的系统性学术成果,从现代语言学和逻辑学的校对,阐述与语言、逻辑和认知有关的一些理论问题。
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 121 CONSTRUCTIVISM IN MATHEMATICS AN IN
A.S.TROELSTRA AND D.VAN DALEN1988 年出版356 页ISBN:0444702660
PROGRAMMABLE LOGIC CONTROLLERS A PRACTICAL APPROACH TO IEC 61131-3 USING CODESYS
DAG H.HANSSEN2015 年出版400 页ISBN:1118949245
STUDY GUIDE TO ACCOMPANY BARKER:THE ELEMENTS OF LOGIC FIFTH EDITION
CHRISTOPHER DREISBACH ROBERT J.CAVALIER1989 年出版226 页ISBN:0070037329