STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 137 HANDBOOK OF PROOF THEORY

下载此书RAR压缩包在线购买PDF电子书

SAMUEL R.BUSS1998 年出版811 页ISBN：0444898409

STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 143 CLASSICAL RECURSION VOLUME II

下载此书RAR压缩包在线购买PDF电子书

P.G.ODIFREDDI1999 年出版949 页ISBN：044450205X

MATHEMATICAL PROGRAMMING ESSAYS IN HONOR OF GEORGE B.DANTZIG PART 1

下载此书RAR压缩包在线购买PDF电子书

1985 年出版252 页ISBN：044487853X

Lecture Notes in Computer Science 3203 Field-Programmable Logic and Applications 14th International

下载此书RAR压缩包在线购买PDF电子书

FPL 20042004 年出版1198 页ISBN：3540229892

Lecture Notes in Artificial Intelligence 4048 Deontic Logic and Artificial Normative Systems 8th Int

下载此书RAR压缩包在线购买PDF电子书

DEON 20062006 年出版273 页ISBN：3540358420

Lecture Notes in Computer Science 3573 Logic Based Program Synthesis and Transformation 14th Interna

下载此书RAR压缩包在线购买PDF电子书

LOPSTR 20042005 年出版277 页ISBN：3540266550

Lecture Notes in Computer Science 2147 Field-Programmable Logic and Applications 11th International

下载此书RAR压缩包在线购买PDF电子书

FPL 20012001 年出版665 页ISBN：3540424997

Lecture Notes in Computer Science 3901 Logic Based Program Synthesis and Transformation 15th Interna

下载此书RAR压缩包在线购买PDF电子书

LOPSTR 20052006 年出版179 页ISBN：3540326545

Lecture Notes in Computer Science 3018 Logic Based Program Synthesis and Transformation 13th Interna

下载此书RAR压缩包在线购买PDF电子书

LOPSTR 20032004 年出版233 页ISBN：3540221743

语言、逻辑与认知 语言逻辑和语言哲学论集 an essay in language， logic and philosophy

下载此书RAR压缩包在线购买PDF电子书

蔡曙山著2007 年出版434 页ISBN：7302139156

本书是作者近年来对语言、逻辑和认知研究的系统性学术成果，从现代语言学和逻辑学的校对，阐述与语言、逻辑和认知有关的一些理论问题。