所有科目 数学 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)
¥ 963
书评(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
¥ 1931
书评(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
¥ 1220
书评(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
¥ 683
书评(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
¥ 986
书评(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
¥ 248
书评(0)
Tame Topology and O-minimal Structures
L. P. D. van den Dries / 1998-05-01 / Cambridge University Press
¥ 4372
书评(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
¥ 1709
书评(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
¥ 671
书评(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
¥ 456
书评(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
¥ 442
书评(0)
George Boole - Selected Manuscripts on Logic and Its Philosophy
Grattan-Guinness / 1997-04-01 / Birkhaeuser Verlag Basel
¥ 1813
书评(0)
Modal Logic
Chagrov Alexander Zakharyaschev Michael / 1997-03-27 / Oxford University Press
¥ 1700
书评(0)
Logic of Mathematics
Zofia Adamowicz / 1997-03-18 / Wiley-Interscience
¥ 822
书评(0)
Set Theory-An Operational Approach:An Operational Approach
LE Sanchis / 1997-03-18 / CRC Press
¥ 2628
书评(0)
Complexity, Logic, and Recursion Theory
Andrea Sorbi / 1997-02-04 / CRC Press
¥ 442
书评(0)
Henkin-Keisler Models
Weaver, George / 1997-01-15 / Springer US
¥ 399
书评(0)
The Descriptive Set Theory of Polish Group Actions
Howard Becker / 1996-12-01 / Cambridge University Press
¥ 884
书评(0)
Philosophy of Mathematics Today
Agazzi / 1996-11-15 / Springer Netherlands
¥ 1116
书评(0)
Geometric Stability Theory
Pillay Anand / 1996-09-12 / Oxford University Press
¥ 1169
书评(0)
Labelled Deductive Systems:Volume 1
Gabbay Dov M. / 1996-09-05 / Oxford University Press
¥ 968
书评(0)
Statistical Methods:A Geometric Primer
Saville / 1996-06-20 / Springer New York
¥ 493
书评(0)
Logic: From Foundations to Applications:European Logic Colloquium
Hodges Wilfrid Hyland Martin Steinhorn Charles / 1996-06-20 / Oxford University Press
¥ 1373
书评(0)
Logical Reasoning with Diagrams
Allwein, Gerard; Barwise, Jon / 1996-06-13 / Oxford University Press
¥ 326
书评(0)
Set Theory, Logic and their Limitations
Moshe Machover / 1996-05-01 / Cambridge University Press
¥ 2446
书评(0)
Definability and Computability
Ershov / 1996-04-30 / Springer US
¥ 929
书评(0)
Collegium Logicum
Kurt Godel Gesellschaft / 1996-04-30 / Springer Wien
1 … 19 20 21 跳转到 页
推荐图书
关于Readlink 帮助中心 免责声明 移动应用

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

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

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

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