所有科目 数学 x 数理逻辑与数学基础 x
二级学科：
数学史(15135) 数理逻辑与数学基础(982) 数论(641) 代数学(5407) 代数几何学(295) 几何学(2097) 拓扑学(347) 数学分析(2357) 非标准分析(82) 函数论(580) 常微分方程(16) 偏微分方程(25) 积分方程(1) 泛函分析(553) 计算数学(416) 概率论(4262) 数理统计学(348) 应用统计数学(22) 运筹学(558) 组合数学(223) 离散数学(278) 模糊数学(46) 应用数学(2272)
¥ 597
书评(0)
A Shorter Model Theory
Wilfrid Hodges / 1997-04-01 / Cambridge University Press
¥ 442
书评(0)
George Boole - Selected Manuscripts on Logic and Its Philosophy
Grattan-Guinness / 1997-04-01 / Birkhaeuser Verlag Basel
¥ 1950
书评(0)
Logic of Mathematics
Zofia Adamowicz / 1997-03-18 / Wiley-Interscience
¥ 822
书评(0)
Set Theory-An Operational Approach:An Operational Approach
LE Sanchis / 1997-03-18 / CRC Press
¥ 2628
书评(0)
Complexity, Logic, and Recursion Theory
Andrea Sorbi / 1997-02-04 / CRC Press
¥ 442
书评(0)
Henkin-Keisler Models
Weaver, George / 1997-01-15 / Springer US
¥ 399
书评(0)
The Descriptive Set Theory of Polish Group Actions
Howard Becker / 1996-12-01 / Cambridge University Press
¥ 884
书评(0)
Philosophy of Mathematics Today
Agazzi / 1996-11-15 / Springer Netherlands
¥ 1014
书评(0)
Labelled Deductive Systems:Volume 1
Gabbay Dov M. / 1996-09-05 / Oxford University Press
¥ 968
书评(0)
Statistical Methods:A Geometric Primer
Saville / 1996-06-20 / Springer New York
¥ 426
书评(0)
Logic: From Foundations to Applications:European Logic Colloquium
Hodges Wilfrid Hyland Martin Steinhorn Charles / 1996-06-20 / Oxford University Press
¥ 1679
书评(0)
Logical Reasoning with Diagrams
Allwein, Gerard; Barwise, Jon / 1996-06-13 / Oxford University Press
¥ 2446
书评(0)
Definability and Computability
Ershov / 1996-04-30 / Springer US
¥ 929
书评(0)
Collegium Logicum
Kurt Godel Gesellschaft / 1996-04-30 / Springer Wien
¥ 1223
书评(0)
Bounded Arithmetic, Propositional Logic and Complexity Theory
Jan Krajicek / 1996-02-01 / Cambridge University Press
¥ 488
书评(0)
Computability, Enumerability, Unsolvability:Directions in Recursion Theory
S. B. Cooper / 1996-01-01 / Cambridge University Press
¥ 932
书评(0)
Discovering Modern Set Theory, Part 1
Winfried Just / 1995-12-30 / American Mathematical Society (AMS)
¥ 1223
书评(0)
Set Theory
Boise Extravaganza / 1995-11-30 / American Mathematical Society (AMS)
¥ 980
书评(0)
Conditionals: From Philosophy to Computer Science
Crocco G. Farinas del Cerro Luis Herzig A. / 1995-11-30 / Oxford University Press
¥ 428
书评(0)
Algebraic Set Theory
Andri Joyal / 1995-09-01 / Cambridge University Press
¥ 1210
书评(0)
Aggregating clones, colors, equations, iterates, numbers, and tiles
Aczel / 1995-08-28 / Birkhaeuser Verlag Basel
¥ 1971
书评(0)
Set Theory:On the Structure of the Real Line
Tomek Bartoszynski and Haim Judah / 1995-08-15 / A K Peters/CRC Press
¥ 561
书评(0)
Stable Networks and Product Graphs
Tom醩 Feder / 1995-07-30 / American Mathematical Society (AMS)
¥ 1527
书评(0)
Fuzzy Sets and Fuzzy Decision-Making
Hongxing Li and Vincent C. Yen / 1995-07-03 / CRC Press
¥ 624
书评(0)
The Incompleteness Phenomenon
Martin Goldstern and Haim Judah / 1995-06-15 / A K Peters/CRC Press
¥ 329
书评(0)
Advances in Linear Logic
Jean-Yves Girard / 1995-06-01 / Cambridge University Press
¥ 4548
书评(0)
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling
Abramsky S. Gabbay Dov M. Maibaum T. S. E. / 1995-05-04 / Oxford University Press
¥ 1487
书评(0)
Elementary Categories, Elementary Toposes
McLarty Colin / 1995-04-27 / Oxford University Press
¥ 4548
书评(0)
Handbook of Logic in Computer Science: Volume 3. Semantic Structures
Abramsky S. Gabbay Dov M. Maibaum T. S. E. / 1995-04-27 / Oxford University Press
¥ 1054
书评(0)
The Logical Status of Diagrams
Sun-Joo Shin / 1995-04-05 / Cambridge University Press
¥ 1214
书评(0)
Free Lattices
Ralph Freese / 1995-03-30 / American Mathematical Society (AMS)
¥ 171
书评(0)
Introduction to Logic: And to the Methodology of Deductive Sciences
Tarski, Alfred / 1995-03-27 / Dover Publications
¥ 109
书评(0)
First-Order Logic
Smullyan, Raymond M. / 1995-01-30 / Dover Publications
¥ 910
书评(0)
Collegium Logicum
Kurt Godel Gesellschaft / 1995-01-18 / Springer Wien
¥ 1254
书评(0)
Features and Fluents:The Representation of Knowledge about Dynamical Systems, Volume 1
Sandewall Erik / 1995-01-05 / Oxford University Press
¥ 1341
书评(0)
Advances in Logic Programming Theory
Levi Giorgio / 1994-12-29 / Oxford University Press
¥ 1067
书评(0)
Set Theory: An Introduction
Vaought, Robert L.;Vaught, Robert L.;Vaught / 1994-12-22 / Birkhaeuser Boston
¥ 1953
书评(0)
What is a Logical System?
Gabbay D. M. / 1994-12-08 / Oxford University Press
¥ 1940
书评(0)
Handbook of Categorical Algebra
Francis Borceux / 1994-12-01 / Cambridge University Press
¥ 876
书评(0)
First Steps in Modal Logic
Sally Popkorn / 1994-12-01 / Cambridge University Press
¥ 1983
书评(0)
Groups of Finite Morley Rank
Borovik Alexandre Nesin Ali / 1994-12-01 / Oxford University Press
¥ 2224
书评(0)
Computation Over Fuzzy Quantities
Milan Mares / 1994-11-22 / CRC Press
¥ 2886
书评(0)
Cardinal Arithmetic
Shelah Saharon / 1994-11-17 / Oxford University Press
¥ 1821
书评(0)
Handbook of Categorical Algebra
Francis Borceux / 1994-11-01 / Cambridge University Press
¥ 1166
书评(0)
Nonstandard Queries and Nonstandard Answers
Demolombe R. Imielinski T. / 1994-10-27 / Oxford University Press
¥ 1601
书评(0)
Handbook of Categorical Algebra
Francis Borceux / 1994-09-01 / Cambridge University Press
¥ 1061
书评(0)
Automorphisms of First-order Structures
Kaye Richard Macpherson Dugald / 1994-08-11 / Oxford University Press
¥ 3411
书评(0)
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 1
Gabbay Dov M. Hodkinson Ian Reynolds Mark / 1994-07-21 / Oxford University Press
1 … 19 20 21 跳转到 页
推荐图书
关于Readlink 帮助中心 免责声明 移动应用

中国国际图书贸易集团公司版权所有

地址：中国·北京市海淀区车公庄西路35号 邮编：100048

电话(对公采购及书单推荐)：010-68433105、010-68433213

© 2015-2024 Readlink.com, All Rights Reserved 京ICP备11010390号-4