所有科目 数学 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)
¥ 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
¥ 4804
书评(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
¥ 189
书评(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
¥ 1419
书评(0)
Logical Forms:An Introduction to Philosophical Logic Second Edition
MARK SAINSBURY / 2000-11-13 / Wiley-Blackwell
¥ 598
书评(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
¥ 1037
书评(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
¥ 1732
书评(0)
Learning to Reason:An Introduction to Logic, Sets and Relations
Nancy Rodgers / 2000-07-06 / Wiley-Interscience
¥ 1471
书评(0)
Elements of Intuitionism
Dummett Michael / 2000-06-15 / Oxford University Press
¥ 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
¥ 2974
书评(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
¥ 559
书评(0)
Ordered Exponential Fields
Salma Kuhlmann / 1999-12-30 / American Mathematical Society (AMS)
¥ 637
书评(0)
Sweet Reason: A Field Guide to Modern Logic
Tymoczko, Thomas;Tymoczko, Tom;Henle, Jim / 1999-12-10 / Key College Publishing
¥ 1029
书评(0)
Classification and Orbit Equivalence Relations
Greg Hjorth / 1999-11-30 / American Mathematical Society (AMS)
¥ 2361
书评(0)
Design Considerations of Time in Fuzzy Systems
Virant / 1999-11-30 / Springer US
¥ 884
书评(0)
Algebraic Foundations of Many-Valued Reasoning
Cignoli, Roberto;Cignoli, R. L.;D'Ottaviano, I. M. / 1999-11-30 / Springer Netherlands
¥ 1164
书评(0)
Set Theory
Andras Hajnal / 1999-11-01 / Cambridge University Press
¥ 597
书评(0)
Set Theory
Andras Hajnal / 1999-11-01 / Cambridge University Press
¥ 389
书评(0)
Oriented Matroids
Anders Björner / 1999-11-01 / Cambridge University Press
¥ 339
书评(0)
Proofs and Confirmations:The Story of the Alternating-Sign Matrix Conjecture
David M. Bressoud / 1999-10-01 / Cambridge University Press
¥ 410
书评(0)
Principles of Mathematical Logic
D. Hilbert; W. Ackermann / 1999-09-30 / American Mathematical Society (AMS)
¥ 979
书评(0)
Model Theory and Applications
Teorii︠a︡ modeleĭ i ee primenenii︠a︡. / 1999-09-30 / American Mathematical Society (AMS)
¥ 1414
书评(0)
Recursion Theory and Complexity: Proceedings of the Kazan’97 Workshop, Kazan, Russia, July 14-19, 1997
Arslanov M. M. / 1999-08-06 / Walter de Gruyter
¥ 1037
书评(0)
Advances in Contemporary Logic and Computer Science
Walter A. Carnielli Itala M. L. D’Ottaviano / 1999-07-30 / American Mathematical Society (AMS)
¥ 1328
书评(0)
SELECTED LOGIC PAPERS
SACKS G E / 1999-07-08 / World Scientific Publishing
¥ 1164
书评(0)
Semimodular Lattices:Theory and Applications
Manfred Stern / 1999-07-01 / Cambridge University Press
¥ 691
书评(0)
Automorphic Forms, Automorphic Representations, and Arithmetic
Robert S. Doran / 1999-06-30 / American Mathematical Society (AMS)
¥ 1994
书评(0)
Automorphic Forms, Automorphic Representations and Arithmetic
Robert S. Doran / 1999-06-30 / American Mathematical Society (AMS)
¥ 691
书评(0)
Introduction to Set Theory, Third Edition, Revised and Expanded
Karel Hrbacek and Thomas Jech / 1999-06-22 / CRC Press
¥ 369
书评(0)
Sets and Proofs
S. Barry Cooper / 1999-06-01 / Cambridge University Press
¥ 369
书评(0)
Models and Computability
S. Barry Cooper / 1999-06-01 / Cambridge University Press
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