所有科目 数学 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)
¥ 1866
书评(0)
Reductive Logic and Proof-search:Proof Theory, Semantics, and Control
Pym David J. Ritter Eike / 2004-04-29 / Oxford University Press
¥ 204
书评(0)
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions
Davis, Martin / 2004-02-18 
¥ 442
书评(0)
Concept Lattices
Eklund, Peter / 2004-02-15 / Springer Berlin Heidelberg
¥ 1555
书评(0)
Challenges in Scientific Computing - CISC 2002: Proceedings of the Conference "Challenges in Scientific Computing," Berlin, October 2-5, 2002
Bansch Eberhard(其他) / 2004-02-12 / Springer
¥ 707
书评(0)
The Birth of Model Theory:Löwenheim’s Theorem in the Frame of the Theory of Relatives
Calixto Badesa / 2004-01-25 / Princeton University Press
¥ 1223
书评(0)
Categorical Foundations:Special Topics in Order, Topology, Algebra, and Sheaf Theory
Maria Cristina Pedicchio / 2004-01-01 / Cambridge University Press
¥ 601
书评(0)
Descriptive Set Theory and Definable Forcing
Jindrich Zapletal / 2003-12-30 / American Mathematical Society (AMS)
¥ 592
书评(0)
Essentials of Mathematics:Introduction to Theory, Proof, and the Professional Culture
Margie Hale / 2003-12-01 / The Mathematical Association of America
¥ 734
书评(0)
Sets, Functions, and Logic:An Introduction to Abstract Mathematics, Third Edition
Keith Devlin / 2003-11-24 / Chapman and Hall/CRC
¥ 1074
书评(0)
The Logic System of Concept Graphs with Negation:And Its Relationship to Predicate Logic
Dau / 2003-11-24 / Springer Berlin Heidelberg
¥ 1040
书评(0)
Computability Theory
S. Barry Cooper and S. Barry Cooper / 2003-11-17 / Chapman and Hall/CRC
¥ 442
书评(0)
Petri Net Technology for Communication-Based Systems
Ehrig, Hartmut / 2003-11-15 / Springer Berlin Heidelberg
¥ 1273
书评(0)
PROCEEDINGS OF THE 7TH AND 8TH ASIAN LOGIC CONFERENCES
DOWNEY ROD ET AL / 2003-11-12 / World Scientific Publishing
¥ 884
书评(0)
Modern Developments in Multivariate Approximation: 5th International Conference, Witten-Bommerholz (Germany), September 2002
Haussmann / 2003-10-24 / Birkhaeuser Verlag Basel
¥ 315
书评(0)
Parallele Numerik
Schwandt, Hartmut / 2003-10-06 / Vieweg+Teubner
¥ 1215
书评(0)
Essays in Radical Empiricism
James, William / 2003-09-18 / Dover Publications
¥ 1040
书评(0)
Finite Automata
Mark V. Lawson / 2003-09-17 / Chapman and Hall/CRC
¥ 995
书评(0)
Logic, Induction and Sets
Thomas Forster / 2003-09-01 / Cambridge University Press
¥ 389
书评(0)
Logic, Induction and Sets
Thomas Forster / 2003-09-01 / Cambridge University Press
¥ 2077
书评(0)
MATHEMATICAL LOGIC IN THE 20TH CENTURY
SACKS GERALD E / 2003-08-14 / World Scientific Publishing
¥ 2157
书评(0)
Lattice-Valued Logic:An Alternative Approach to Treat Fuzziness and Incomparability
Xu / 2003-07-15 / Springer Berlin Heidelberg
¥ 2205
书评(0)
Logic for Concurrency and Synchronisation
De Queiroz / 2003-05-31 / Springer Netherlands
¥ 442
书评(0)
Algorithms and Complexity
Petreschi, Rosella / 2003-05-15 / Springer Berlin Heidelberg
¥ 448
书评(0)
Sets for Mathematics
F. William Lawvere / 2003-04-01 / Cambridge University Press
¥ 1124
书评(0)
Sets for Mathematics
F. William Lawvere / 2003-04-01 / Cambridge University Press
¥ 3557
书评(0)
Kurt G"odel: Collected Works: Volume V:Correspondence, H-Z
Godel Kurt / 2003-03-27 / Oxford University Press
¥ 3177
书评(0)
Kurt G"odel: Collected Works: Volume IV:Selected Correspondence, A-G
Godel Kurt / 2003-03-27 / Oxford University Press
¥ 442
书评(0)
Cardinalities of Fuzzy Sets
Wygralak, Maciej / 2003-03-15 / Springer Berlin Heidelberg
¥ 884
书评(0)
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
Lavrov, Igor;Maksimova, Larisa;Corsi, Giovanna / 2003-03-15 / Springer US
¥ 278
书评(0)
Analysis and Logic
C. Ward Henson / 2003-03-01 / Cambridge University Press
¥ 2039
书评(0)
Continuous Lattices and Domains
G. Gierz / 2003-03-01 / Cambridge University Press
¥ 1502
书评(0)
Lectures in Logic and Set Theory
George Tourlakis / 2003-02-01 / Cambridge University Press
¥ 1314
书评(0)
Grammars and Automata for String Processing:From Mathematics and Computer Science to Biology, and Back
Carlos Martin-Vide and Victor Mitrana / 2003-01-16 / CRC Press
¥ 1054
书评(0)
Lectures in Logic and Set Theory
George Tourlakis / 2003-01-01 / Cambridge University Press
¥ 555
书评(0)
Computable Functions
A. Shen / 2002-12-30 / American Mathematical Society (AMS)
¥ 884
书评(0)
Probabilistic Logic in a Coherent Setting
Coletti / 2002-10-15 / Springer Netherlands
¥ 884
书评(0)
Probabilistic Logic in a Coherent Setting
Coletti / 2002-10-15 / Springer Netherlands
¥ 1404
书评(0)
Grundzüge der Mengenlehre
Egbert Brieskorn, Universität Bonn Inst. Mathematik, Bonn; Felix Hausdorff; Srishti Chatterji; Moritz Epple, Universität Frankfurt Historisches Seminar, Frankfurt; Ulrich Felgner, Universität Tübingen / 2002-10-07 / Springer Berlin Heidelberg
¥ 1223
书评(0)
Logic and Algebra
Yi Zhang / 2002-09-30 / American Mathematical Society (AMS)
¥ 1553
书评(0)
Algebras of Sets and Combinatorics
L. S. Grinblat / 2002-09-30 / American Mathematical Society (AMS)
¥ 3411
书评(0)
Sketches of an Elephant: A Topos Theory Compendium:Volume 2
Johnstone Peter T. / 2002-09-12 / Oxford University Press
¥ 3411
书评(0)
Sketches of an Elephant: A Topos Theory Compendium:Volume 1
Johnstone Peter T. / 2002-09-12 / Oxford University Press
¥ 5859
书评(0)
Sketches of an Elephant: A Topos Theory Compendium:2 Volume Set
Johnstone Peter T. / 2002-09-12 / Oxford University Press
¥ 1149
书评(0)
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman:Lecture Notes in Logic 15
Sieg, Wilfried(编辑);Sommer, Richard(编辑);Talcott, Carolyn(编辑) / 2002-08-16 / A K Peters/CRC Press
¥ 1142
书评(0)
Logistic Regression: A Self-Learning Text
Kleinbaum, David G.;Klein, Mitchell;Rihl Pryor, E.(Contribution by) / 2002-08-12 
¥ 707
书评(0)
Selectors
John E. Jayne  / 2002-08-11 / Princeton University Press
¥ 461
书评(0)
Basic Set Theory
A. Shen |N.K. Vereshchagin / 2002-07-30 / American Mathematical Society (AMS)
¥ 734
书评(0)
Cellular Automata and Complexity
Wolfram, Stephen / 2002-07-01 
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