所有科目 数学 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)
¥ 926
书评(0)
Automorphisms of First-order Structures
Kaye Richard Macpherson Dugald / 1994-08-11 / Oxford University Press
¥ 2974
书评(0)
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 1
Gabbay Dov M. Hodkinson Ian Reynolds Mark / 1994-07-21 / Oxford University Press
¥ 530
书评(0)
Mathematical Logic
Ebbinghaus / 1994-06-15 / Springer New York
¥ 3966
书评(0)
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies
Gabbay Dov M. Hogger C. J. Robinson J. A. / 1994-03-17 / Oxford University Press
¥ 4372
书评(0)
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning
Gabbay Dov M. Hogger C. J. Robinson J. A. / 1994-03-17 / Oxford University Press
¥ 299
书评(0)
Locally Presentable and Accessible Categories
J. Adamek / 1994-03-01 / Cambridge University Press
¥ 778
书评(0)
Notes on Set Theory
Moschovakis, Yiannis N. / 1994-02-18 
¥ 2751
书评(0)
Logical Methods:In Honor of Anil Nerode?s Sixtieth Birthday
Crossley / 1994-01-26 / Birkhaeuser Verlag Basel
¥ 571
书评(0)
Complex Systems Dynamics, Vol. II (on Demand Printing of 52887)
Weisbuch, Gerard / 1994-01-01 
¥ 1271
书评(0)
Many-Valued Logics
Malinowski Grzegorz / 1993-12-16 / Oxford University Press
¥ 1130
书评(0)
Mathematical Analysis and Numerical Methods for Science and Technology: Volume 6: Evolution Problems II
Dautray, Robert();Lions, Jacques-Louis();Sneddon, I. N.() / 1993-12-07 / Springer Berlin Heidelberg
¥ 437
书评(0)
Limit Theorems for Unions of Random Closed Sets
Molchanov / 1993-11-29 / Springer Berlin Heidelberg
¥ 702
书评(0)
Complexity of Proofs and Their Transformations in Axiomatic Theories
V. P. Orevkov / 1993-10-30 / American Mathematical Society (AMS)
¥ 3966
书评(0)
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations
Gabbay Dov M. Hogger C. J. Robinson J. A. / 1993-06-24 / Oxford University Press
¥ 894
书评(0)
Arithmetic, Proof Theory, and Computational Complexity
Clote Peter Krajicek Jan / 1993-05-06 / Oxford University Press
¥ 1278
书评(0)
NETWORK OPTIMIZATION PROBLEMS:ALGORITHMS, APPLICATIONS AND COMPLEXITY
DU D Z ET AL / 1993-04-01 / World Scientific Publishing
¥ 557
书评(0)
Uncountably Categorical Theories
Boris Zilber / 1993-03-30 / American Mathematical Society (AMS)
¥ 2218
书评(0)
Model Theory
Wilfrid Hodges / 1993-03-01 / Cambridge University Press
¥ 884
书评(0)
Fuzzy Measure Theory
Wang, Zhenyuan;Zhenyuan Wang, Wang;Klir, George J. / 1993-01-15 / Springer US
¥ 4372
书评(0)
Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures
Abramsky S. Gabbay Dov M. Maibaum T. S. E. / 1992-12-10 / Oxford University Press
¥ 3966
书评(0)
Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures
Abramsky S. Gabbay Dov M. Maibaum T. S. E. / 1992-12-10 / Oxford University Press
¥ 1504
书评(0)
Lindenmayer Systems
Rupert, Ac;Rozenberg, Grzegorz;Salomaa, Arto / 1992-09-15 / Springer Berlin Heidelberg
¥ 329
书评(0)
Applications of Categories in Computer Science:Proceedings of the London Mathematical Society Symposium, Durham 1991
M. P. Fourman / 1992-07-01 / Cambridge University Press
¥ 169
书评(0)
Lectures on Linear Logic
Troelstra A. S. / 1992-06-15 / *USCHP00
¥ 1337
书评(0)
Mathematics and Logic
Kac, Mark;Ulam, Stanislaw M. / 1992-05-01 / Dover Publications
¥ 1215
书评(0)
On Formally Undecidable Propositions of Principia Mathematicon Formally Undecidable Propositions of Principia Mathematica and Related Systems A and Re
Godel, Kurt / 1992-04-01 / Dover Publications
¥ 1130
书评(0)
Mathematical Analysis and Numerical Methods for Science and Technology: Volume 5: Evolution Problems I
Dautray, Robert;Lions, Jacques-Louis / 1992-03-25 / Springer Berlin Heidelberg
¥ 221
书评(0)
Classification of Irregular Varieties
Ballico, Edoardo / 1992-03-15 / Springer Berlin Heidelberg
¥ 448
书评(0)
Relative Category Theory and Geometric Morphisms
Chapman Jonathan Rowbottom Frederick / 1992-02-06 / Oxford University Press
¥ 1424
书评(0)
Proof, Logic and Formalization
Detlefsen, Michael(编辑) / 1992-01-09 / Routledge
¥ 1424
书评(0)
Proof and Knowledge in Mathematics
Detlefsen, Michael(编辑) / 1992-01-02 / Routledge
¥ 1957
书评(0)
A Study of Logics
Cleave John P. / 1991-12-19 / Oxford University Press
¥ 1768
书评(0)
Applications of Category Theory to Fuzzy Subsets
Rodabaugh / 1991-11-15 / Springer Netherlands
¥ 442
书评(0)
Category Theory
Carboni, A. / 1991-10-15 / Springer Berlin Heidelberg
¥ 442
书评(0)
Computer Science Logic
Bvrger, Egon / 1991-09-15 / Springer Berlin Heidelberg
¥ 442
书评(0)
Category Theory and Computer Science
Pitt, David H. / 1991-08-15 / Springer Berlin Heidelberg
¥ 929
书评(0)
IV Higher Order Workshop, Banff 1990:Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990
Birtwistle / 1991-07-31 / Springer
¥ 436
书评(0)
Topics in Set Theory:Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho-functions
Bekkali / 1991-07-10 / Springer Berlin Heidelberg
¥ 932
书评(0)
mural: A Formal Development Support System
Jones / 1991-05-29 / Springer London
¥ 614
书评(0)
PASCAL-XSC:Sprachbeschreibung mit Beispielen
Rudi Klatte; Ulrich Kulisch, Universit鋞 Karlsruhe Inst. Angewandte Mathematik, Karlsruhe; Michael Neaga; Dietmar Ratz; Christian Ullrich, BMW AG, M黱chen / 1991-05-29 / Springer Berlin Heidelberg
¥ 104
书评(0)
Axiomatic Set Theory
Bernays, Paul;Mathematics / 1991-02-01 
¥ 1627
书评(0)
Models of Peano Arithmetic
Kaye Richard / 1991-01-31 / Oxford University Press
¥ 493
书评(0)
Georg Cantor:His Mathematics and Philosophy of the Infinite
Joseph Warren Dauben / 1990-10-10 / Princeton University Press
¥ 309
书评(0)
Recursion Theory Week
Ambos-Spies, Klaus / 1990-07-15 / Springer Berlin Heidelberg
¥ 309
书评(0)
Groups of Self-Equivalences and Related Topics
Piccinini, Renzo A. / 1990-06-15 / Springer Berlin Heidelberg
¥ 602
书评(0)
Computability:Computable Functions Logic and the Foundations of Math
Richard .L. Epstein and Walter Alexandr Carnielli / 1990-05-15 / Chapman and Hall/CRC
¥ 998
书评(0)
Computational Complexity Theory
Juris Hartmanis / 1989-12-30 / American Mathematical Society (AMS)
¥ 283
书评(0)
Freyd’s Models for the Independence of the Axiom of Choice
Andre Scedrov; Andreas Blass / 1989-12-30 / American Mathematical Society (AMS)
1 … 19 20 21 跳转到 页
推荐图书
关于Readlink 帮助中心 免责声明 移动应用

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

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

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

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