所有科目 数学 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)
¥ 2216
书评(0)
Model Theory
Manzano Maria / 1999-04-29 / Oxford University Press
¥ 1400
书评(0)
Fibring Logics
Gabbay Dov M. / 1998-11-05 / Oxford University Press
¥ 1971
书评(0)
Models, Algebras, and Proofs
Edited by Xavier Caicedo and Carlos Montenegro / 1998-11-05 / CRC Press
¥ 1213
书评(0)
Multigrid Methods V:Proceedings of the Fifth European Multigrid Conference held in Stuttgart, Germany, October 1–4, 1996
Hackbusch / 1998-10-20 / Springer Berlin Heidelberg
¥ 1768
书评(0)
Belief Change
Gabbay / 1998-10-15 / Springer Netherlands
¥ 1131
书评(0)
Twenty Five Years of Constructive Type Theory
Sambin Giovanni Smith Jan M. / 1998-10-15 / Oxford University Press
¥ 175
书评(0)
A Primer of Probability Logic
Adams, Ernest W.;Adams / 1998-10-13 / Center for the Study of Language and Informat
¥ 884
书评(0)
Cellular Automata
Serra / 1998-09-15 / Springer London
¥ 442
书评(0)
Model Theory and Algebraic Geometry
Bouscaren, E. / 1998-09-15 / Springer Berlin Heidelberg
¥ 1283
书评(0)
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
McCusker G.McCusker Guy / 1998-07-31 / Springer
¥ 624
书评(0)
The Incompleteness Phenomenon
Martin Goldstern and Haim Judah / 1998-07-30 / A K Peters/CRC Press
¥ 3678
书评(0)
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Bibel / 1998-06-30 / Springer Netherlands
¥ 442
书评(0)
Derived Equivalences for Group Rings
Konig, Steffen / 1998-05-15 / Springer Berlin Heidelberg
¥ 5015
书评(0)
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming
Gabbay Dov M. Hogger C.J. Robinson J. A. / 1998-01-08 / Oxford University Press
¥ 329
书评(0)
An Introduction to Mathematical Reasoning:Numbers, Sets and Functions
Peter J. Eccles / 1997-12-01 / Cambridge University Press
¥ 995
书评(0)
An Introduction to Mathematical Reasoning:Numbers, Sets and Functions
Peter J. Eccles / 1997-12-01 / Cambridge University Press
¥ 1164
书评(0)
Set Theory for the Working Mathematician
Krzysztof Ciesielski / 1997-11-01 / Cambridge University Press
¥ 418
书评(0)
Set Theory for the Working Mathematician
Krzysztof Ciesielski / 1997-11-01 / Cambridge University Press
¥ 442
书评(0)
Green Functors and G-sets
Bouc, Serge / 1997-10-15 / Springer Berlin Heidelberg
¥ 906
书评(0)
Principia Mathematica to *56
Alfred North Whitehead / 1997-09-01 / Cambridge University Press
¥ 488
书评(0)
Model Theory of Groups and Automorphism Groups
David M. Evans / 1997-07-01 / Cambridge University Press
¥ 884
书评(0)
Qualitative and Quantitative Practical Reasoning
Gabbay, Dov / 1997-05-15 / Springer Berlin Heidelberg
¥ 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
¥ 2231
书评(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
¥ 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
1 … 13 14 15 16 17 18 … 21 跳转到 页
推荐图书
关于Readlink 帮助中心 免责声明 移动应用

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

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

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

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