所有科目 数学 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)
¥ 1082
书评(0)
Acyclic Models
Michael Barr / 2002-06-30 / American Mathematical Society (AMS)
¥ 762
书评(0)
Set Theory:The Hajnal Conference
Simon Thomas / 2002-05-30 / American Mathematical Society (AMS)
¥ 1205
书评(0)
Duality in Optimization and Variational Inequalities
C.j. Goh / 2002-05-10 / CRC Press
¥ 762
书评(0)
Asymptotic Behavior of Dynamical and Control Systems under Pertubation and Discretization
Grüne / 2002-04-01 / Springer Berlin Heidelberg
¥ 1862
书评(0)
Fuzzy Automata and Languages:Theory and Applications
John N. Mordeson and Davender S. Malik / 2002-03-19 / Chapman and Hall/CRC
¥ 314
书评(0)
Conjecture and Proof
Miklós Laczkovich / 2001-12-31 / American Mathematical Society (AMS)
¥ 884
书评(0)
Collected Papers of Stig Kanger with Essays on his Life and Work
Holmström-Hintikka / 2001-12-15 / Springer Netherlands
¥ 884
书评(0)
Collected Papers of Stig Kanger with Essays on his Life and Work
Holmström-Hintikka / 2001-12-15 / Springer Netherlands
¥ 884
书评(0)
Collected Papers of Stig Kanger with Essays on his Life and Work Volume II
Holmström-Hintikka / 2001-12-15 / Springer Netherlands
¥ 884
书评(0)
Collected Papers of Stig Kanger with Essays on his Life and Work Volume II
Holmström-Hintikka / 2001-12-15 / Springer Netherlands
¥ 1323
书评(0)
Proof Theory and Automated Deduction
Goubault-Larrecq / 2001-11-30 / Springer Netherlands
¥ 414
书评(0)
Lectures on Algebraic Model Theory
Bradd Hart Matthew Valeriote / 2001-11-30 / American Mathematical Society (AMS)
¥ 972
书评(0)
Aspects of Complexity: Minicourses in Algorithmics, Complexity and Computational Algebra. Mathematics Workshop, Kaikoura, January 7-15, 2000
Downey, Rod;Hirschfeldt, Denis R. / 2001-10-19 / Walter de Gruyter
¥ 2216
书评(0)
Change, Choice and Inference:A study of Belief Revision and Nonmonotonic Reasoning
Rott Hans / 2001-10-11 / Oxford University Press
¥ 1768
书评(0)
Supervision of Petri Nets
Stremersch / 2001-09-30 / Springer US
¥ 501
书评(0)
Non-Uniform Lattices on Uniform Trees
Lisa Carbone / 2001-06-30 / American Mathematical Society (AMS)
¥ 2216
书评(0)
Algebraic Methods in Philosophical Logic
Dunn J. Michael Hardegree Gary / 2001-06-28 / Oxford University Press
¥ 364
书评(0)
Set Theory and Metric Spaces
Irving Kaplansky / 2001-05-30 / American Mathematical Society (AMS)
¥ 884
书评(0)
Categorical Perspectives
Koslowski / 2001-04-27 / Birkhaeuser Verlag Basel
¥ 394
书评(0)
G鰀el 96: Logical Foundations of Mathematics, Computer Science, and Physics:Lecture Notes in Logic 6
Edited by Petr Hájek / 2001-03-26 / A K Peters/CRC Press
¥ 1223
书评(0)
The Foundations of Mathematics in the Theory of Sets
John P. Mayberry / 2001-03-22 / Cambridge University Press
¥ 515
书评(0)
Recursion Theory:Lecture Notes in Logic 1
Joseph R. Shoenfield / 2001-02-20 / A K Peters/CRC Press
¥ 1223
书评(0)
Galois Theories
Francis Borceux / 2001-02-01 / Cambridge University Press
¥ 5510
书评(0)
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
Abramsky S. Gabbay Dov M. Maibaum T. S. E. / 2001-01-25 / Oxford University Press
¥ 216
书评(0)
The Moment of Proof:Mathematical Epiphanies
Benson, Donald C. / 2000-12-14 / Oxford University Press
¥ 1764
书评(0)
Theory of Relations
Fraisse, R. / 2000-12-01 / North-Holland Publishing Co.
¥ 452
书评(0)
Field Theory and its Classical Problems
Charles Robert Hadlock / 2000-12-01 / The Mathematical Association of America
¥ 2062
书评(0)
Where Mathematics, Computer Science, Linguistics and Biology Meet:Essays in honour of Gheorghe P?un
Martín-Vide / 2000-11-30 / Springer Netherlands
¥ 1275
书评(0)
Chapter Zero: Fundamental Notions of Abstract Mathematics
Schumacher, Carol / 2000-11-27 / Pearson
¥ 1628
书评(0)
Logical Forms:An Introduction to Philosophical Logic Second Edition
MARK SAINSBURY / 2000-11-13 / Wiley-Blackwell
¥ 686
书评(0)
Logical Forms:An Introduction to Philosophical Logic Second Edition
MARK SAINSBURY / 2000-11-13 / Wiley-Blackwell
¥ 1200
书评(0)
A Short Introduction to Intuitionistic Logic
Mints / 2000-10-31 / Springer US
¥ 563
书评(0)
Analytic Quotients:Theory of Liftings for Quotients over Analytic Ideals on the Integers
Ilijas Farah / 2000-10-30 / American Mathematical Society (AMS)
¥ 442
书评(0)
Logic for Programming and Automated Reasoning
Parigot, M. / 2000-10-15 / Springer Berlin Heidelberg
¥ 1527
书评(0)
An Atlas of the Smaller Maps in Orientable and Nonorientable Surfaces
David Jackson and Terry I. Visentin / 2000-09-15 / Chapman and Hall/CRC
¥ 1054
书评(0)
Model Theory, Algebra, and Geometry
Deirdre Haskell / 2000-09-01 / Cambridge University Press
¥ 1098
书评(0)
Computability Theory and Its Applications
Peter A. Cholak / 2000-07-30 / American Mathematical Society (AMS)
¥ 1862
书评(0)
Polynomial Completeness in Algebraic Systems
Kalle Kaarli and Alden F. Pixley / 2000-07-21 / Chapman and Hall/CRC
¥ 1986
书评(0)
Learning to Reason:An Introduction to Logic, Sets and Relations
Nancy Rodgers / 2000-07-06 / Wiley-Interscience
¥ 1026
书评(0)
Surveys on Solution Methods for Inverse Problems
Colton / 2000-05-23 / Springer Wien
¥ 299
书评(0)
Descriptive Set Theory and Dynamical Systems
M. Foreman / 2000-05-01 / Cambridge University Press
¥ 1223
书评(0)
Derivation and Computation:Taking the Curry-Howard Correspondence Seriously
H. Simmons / 2000-05-01 / Cambridge University Press
¥ 4141
书评(0)
Constructive Models
Ershov / 2000-03-31 / Springer US
¥ 2565
书评(0)
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2
Gabbay Dov M Finger M. Reynolds M. / 2000-03-30 / Oxford University Press
¥ 442
书评(0)
Frontiers of Combining Systems
Kirchner, H. / 2000-03-15 / Springer Berlin Heidelberg
¥ 884
书评(0)
Communication-Based Systems
Hommel / 2000-02-15 / Springer Netherlands
¥ 2544
书评(0)
Labelled Non-Classical Logics
Viganò / 2000-01-31 / Springer US
¥ 2060
书评(0)
COLLECTED WORKS OF LARRY WOS, THE (IN 2 VOLUMES)
WOS LARRY & PIEPER AIL W / 2000-01-26 / World Scientific Publishing
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