所有科目 数学 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)
¥ 637
书评(0)
Sweet Reason: A Field Guide to Modern Logic
Tymoczko, Thomas;Tymoczko, Tom;Henle, Jim / 1999-12-10 / Key College Publishing
¥ 1214
书评(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
¥ 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)
¥ 1646
书评(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
¥ 1223
书评(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
¥ 1308
书评(0)
Automorphic Forms, Automorphic Representations, and Arithmetic
Robert S. Doran / 1999-06-30 / American Mathematical Society (AMS)
¥ 2352
书评(0)
Automorphic Forms, Automorphic Representations and Arithmetic
Robert S. Doran / 1999-06-30 / American Mathematical Society (AMS)
¥ 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
¥ 1646
书评(0)
Provability, Complexity, Grammars
Lev Beklemishev / 1999-05-30 / American Mathematical Society (AMS)
¥ 1794
书评(0)
The Theory of Classical Valuations
Ribenboim / 1999-05-21 / Springer New York
¥ 1443
书评(0)
Practical Foundations of Mathematics
Paul Taylor / 1999-05-01 / Cambridge University Press
¥ 2216
书评(0)
Model Theory
Manzano Maria / 1999-04-29 / Oxford University Press
¥ 1208
书评(0)
Homogenization of Reticulated Structures
Cioranescu, Doina;Cioranescu, D.;Saint Jean Paulin, Jeannine / 1999-04-23 / Springer
¥ 1400
书评(0)
Fibring Logics
Gabbay Dov M. / 1998-11-05 / Oxford University Press
¥ 1971
书评(0)
Models, Algebras, and Proofs
Edited by Xavier Caicedo and Carlos Montenegro / 1998-11-05 / CRC Press
¥ 791
书评(0)
DNA Based Computers II
Laura F. Landweber / 1998-10-30 / American Mathematical Society (AMS)
¥ 1213
书评(0)
Multigrid Methods V:Proceedings of the Fifth European Multigrid Conference held in Stuttgart, Germany, October 1–4, 1996
Hackbusch / 1998-10-20 / Springer Berlin Heidelberg
¥ 1768
书评(0)
Belief Change
Gabbay / 1998-10-15 / Springer Netherlands
¥ 1131
书评(0)
Twenty Five Years of Constructive Type Theory
Sambin Giovanni Smith Jan M. / 1998-10-15 / Oxford University Press
¥ 175
书评(0)
A Primer of Probability Logic
Adams, Ernest W.;Adams / 1998-10-13 / Center for the Study of Language and Informat
¥ 884
书评(0)
Cellular Automata
Serra / 1998-09-15 / Springer London
¥ 442
书评(0)
Model Theory and Algebraic Geometry
Bouscaren, E. / 1998-09-15 / Springer Berlin Heidelberg
¥ 1283
书评(0)
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
McCusker G.McCusker Guy / 1998-07-31 / Springer
¥ 624
书评(0)
The Incompleteness Phenomenon
Martin Goldstern and Haim Judah / 1998-07-30 / A K Peters/CRC Press
¥ 3678
书评(0)
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Bibel / 1998-06-30 / Springer Netherlands
¥ 442
书评(0)
Derived Equivalences for Group Rings
Konig, Steffen / 1998-05-15 / Springer Berlin Heidelberg
¥ 5015
书评(0)
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming
Gabbay Dov M. Hogger C.J. Robinson J. A. / 1998-01-08 / Oxford University Press
¥ 2013
书评(0)
Satisfiability Problem:Theory and Applications
Dingzhu Du / 1997-12-30 / American Mathematical Society (AMS)
¥ 329
书评(0)
An Introduction to Mathematical Reasoning:Numbers, Sets and Functions
Peter J. Eccles / 1997-12-01 / Cambridge University Press
¥ 995
书评(0)
An Introduction to Mathematical Reasoning:Numbers, Sets and Functions
Peter J. Eccles / 1997-12-01 / Cambridge University Press
¥ 791
书评(0)
Proof Complexity and Feasible Arithmetics
 / 1997-11-30 / American Mathematical Society (AMS)
¥ 1164
书评(0)
Set Theory for the Working Mathematician
Krzysztof Ciesielski / 1997-11-01 / Cambridge University Press
¥ 418
书评(0)
Set Theory for the Working Mathematician
Krzysztof Ciesielski / 1997-11-01 / Cambridge University Press
¥ 932
书评(0)
Discovering Modern Set Theory. II:Set-Theoretic Tools for Every Mathematician
Winfried Just / 1997-10-30 / American Mathematical Society (AMS)
¥ 442
书评(0)
Green Functors and G-sets
Bouc, Serge / 1997-10-15 / Springer Berlin Heidelberg
¥ 906
书评(0)
Principia Mathematica to *56
Alfred North Whitehead / 1997-09-01 / Cambridge University Press
¥ 488
书评(0)
Model Theory of Groups and Automorphism Groups
David M. Evans / 1997-07-01 / Cambridge University Press
¥ 884
书评(0)
Qualitative and Quantitative Practical Reasoning
Gabbay, Dov / 1997-05-15 / Springer Berlin Heidelberg
¥ 597
书评(0)
A Shorter Model Theory
Wilfrid Hodges / 1997-04-01 / Cambridge University Press
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