所有科目 数学 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)
¥ 998
书评(0)
Hausdorff on Ordered Sets
J. M. Plotkin / 2005-06-30 / American Mathematical Society (AMS)
¥ 884
书评(0)
Second Generation Wavelets and Applications
Jansen / 2005-05-15 / Springer London
¥ 1882
书评(0)
Interpolation and Definability:Modal and Intuitionistic Logics
Gabbay Dov M. Maksimova Larisa / 2005-05-12 / Oxford University Press
¥ 855
书评(0)
Logic Colloquium 2000 (hardcover):Lecture Notes in Logic, 19
Rene Cori, Alexander Razborov, Stevo Todorcevic and Carol Wood / 2005-04-25 / A K Peters/CRC Press
¥ 471
书评(0)
Logic Colloquium 2000 (hardcover):Lecture Notes in Logic, 19
Edited by Rene Cori, Alexander Razborov, Stevo Todorcevic and Carol Wood / 2005-04-25 / A K Peters/CRC Press
¥ 750
书评(0)
From Kant to Hilbert Volume 2
Ewald William Bragg / 2005-04-21 / Oxford University Press
¥ 750
书评(0)
From Kant to Hilbert Volume 1:A Source Book in the Foundations of Mathematics
Ewald William Bragg / 2005-04-21 / Oxford University Press
¥ 471
书评(0)
The Notre Dame Lectures:Lecture Notes in Logic, 18
Peter Cholak / 2005-04-09 / A K Peters/CRC Press
¥ 228
书评(0)
Partielle Differentialgleichungen und numerische Methoden
Stig Larsson, Chalmers University of Technology Dept. Mathematics, Göteborg, Sweden; Vidar Thomee, Chalmers University of Technology Dept. Mathematics, Göteborg, Sweden / 2005-03-09 / Springer Berlin Heidelberg
¥ 306
书评(0)
Logic Colloquium ’01:Lecture Notes In Logic, 20
Edited by Matthias Baaz, Sy-David Friedman and Jan Krajícek / 2005-03-07 / A K Peters/CRC Press
¥ 1768
书评(0)
Fuzzy Modeling with Spatial Information for Geographic Problems
Petry, F. E. / 2005-02-15 / Springer Berlin Heidelberg
¥ 471
书评(0)
Mathematical Modelling
Reinhard Illner |C. Sean Bohun |Samantha McCollum |Thea van  / 2004-12-30 / American Mathematical Society (AMS)
¥ 1169
书评(0)
Bayesian Nets and Causality: Philosophical and Computational Foundations
Williamson Jon / 2004-12-23 / Oxford University Press
¥ 329
书评(0)
Linear Logic in Computer Science
Thomas Ehrhard / 2004-11-01 / Cambridge University Press
¥ 1054
书评(0)
The Covering Property Axiom, CPA:A Combinatorial Core of the Iterated Perfect Set Model
Krzysztof Ciesielski / 2004-11-01 / Cambridge University Press
¥ 1037
书评(0)
Nonstandard Models of Arithmetic and Set Theory
Ali Enayat / 2004-09-30 / American Mathematical Society (AMS)
¥ 1040
书评(0)
Inexhaustibility: A Non-Exhaustive Treatment:Lecture Notes in Logic 16
Torkel Franzén / 2004-09-02 / A K Peters/CRC Press
¥ 493
书评(0)
Inexhaustibility: A Non-Exhaustive Treatment:Lecture Notes in Logic 16
Torkel Franzén / 2004-09-02 / A K Peters/CRC Press
¥ 357
书评(0)
The Stationary Tower:Notes on a Course by W. Hugh Woodin
Paul B. Larson / 2004-07-30 / American Mathematical Society (AMS)
¥ 855
书评(0)
Logic Colloquium ’99:Lecture Notes in Logic 17
Jan Van Eijck , Vincent Van Oostrom and Albert Visser / 2004-07-08 / A K Peters/CRC Press
¥ 471
书评(0)
Logic Colloquium ’99:Lecture Notes in Logic 17
Edited by Jan Van Eijck , Vincent Van Oostrom and Albert Visser / 2004-07-08 / A K Peters/CRC Press
¥ 845
书评(0)
A First Course in Logic:An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Hedman Shawn / 2004-07-08 / Oxford University Press
¥ 2008
书评(0)
A First Course in Logic:An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Hedman Shawn / 2004-07-08 / Oxford University Press
¥ 299
书评(0)
Spectral Generalizations of Line Graphs:On Graphs with Least Eigenvalue -2
Drago Cvetkovic / 2004-07-01 / Cambridge University Press
¥ 126
书评(0)
A Profile of Mathematical Logic
DeLong, Howard / 2004-06-17 
¥ 498
书评(0)
Algebraic Automata Theory
M. Holcombe / 2004-06-01 / Cambridge University Press
¥ 1627
书评(0)
Reductive Logic and Proof-search:Proof Theory, Semantics, and Control
Pym David J. Ritter Eike / 2004-04-29 / Oxford University Press
¥ 176
书评(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
1 … 13 14 15 16 17 18 … 21 跳转到 页
推荐图书
关于Readlink 帮助中心 免责声明 移动应用

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

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

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

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