所有科目 数学 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)
¥ 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
¥ 283
书评(0)
Freyd’s Models for the Independence of the Axiom of Choice
Andre Scedrov; Andreas Blass / 1989-12-30 / American Mathematical Society (AMS)
¥ 745
书评(0)
Mathematical Intuitionism:Introduction to Proof Theory
A. G. Dragalin / 1988-12-30 / American Mathematical Society (AMS)
¥ 432
书评(0)
Methods and Applications of Mathematical Logic
Walter A. Carnielli; Luiz Paulo de Alcantara / 1988-12-30 / American Mathematical Society (AMS)
¥ 537
书评(0)
Logic for Mathematicians
A. G. Hamilton / 1988-09-01 / Cambridge University Press
¥ 537
书评(0)
Introduction to Higher-Order Categorical Logic
J. Lambek / 1988-07-01 / Cambridge University Press
¥ 329
书评(0)
Descriptive Set Theory and the Structure of Sets of Uniqueness
Alexander S. Kechris / 1988-04-01 / Cambridge University Press
¥ 329
书评(0)
Model Theory and Modules
M. Prest / 1988-02-01 / Cambridge University Press
¥ 438
书评(0)
Godel’s Theorem in Focus
Edited by S.G. Shanker / 1987-11-26 / Routledge
¥ 418
书评(0)
Notes on Logic and Set Theory
P. T. Johnstone / 1987-10-01 / Cambridge University Press
¥ 458
书评(0)
Varieties of Constructive Mathematics
Douglas Bridges / 1987-05-01 / Cambridge University Press
¥ 1054
书评(0)
Multiple Forcing
T. Jech / 1987-01-01 / Cambridge University Press
¥ 2187
书评(0)
Cantorian Set Theory and Limitation of Size
Hallett Michael / 1986-11-27 / Oxford University Press
¥ 268
书评(0)
An Introduction to the Theory of Surreal Numbers
Harry Gonshor / 1986-09-01 / Cambridge University Press
¥ 1062
书评(0)
Thinking Recursively
Eric S. Roberts / 1986-01-03 / Wiley
¥ 1089
书评(0)
Analysis of a Finite Element Method:PDE/PROTRAN
Sewell / 1985-11-11 / Springer
¥ 712
书评(0)
Continuous Lattices and Their Applications
Hoffmann / 1985-10-30 / CRC Press
¥ 1102
书评(0)
Methods for Solving Incorrectly Posed Problems
Nashed / 1984-11-20 / Springer
¥ 1348
书评(0)
The Complex Variable Boundary Element Method
Hromadka / 1984-11-01 / Springer
¥ 440
书评(0)
Godel?s Theorem Simplified
Harry J. Gensler / 1984-02-16 / UPA
¥ 620
书评(0)
Metamathematische Methoden in der Geometrie
W. Schwabh鋟ser; W. Szmielew; A. Tarski / 1983-11-10 / Springer Berlin Heidelberg
¥ 278
书评(0)
Surveys in Set Theory
A. R. D. Mathias / 1983-10-01 / Cambridge University Press
¥ 478
书评(0)
Numbers, Sets and Axioms:The Apparatus of Mathematics
A. G. Hamilton / 1983-01-01 / Cambridge University Press
¥ 968
书评(0)
Dynamical Systems on Surfaces
Godbillon / 1982-11-01 / Springer
¥ 278
书评(0)
The Core Model
A. Dodd / 1982-03-01 / Cambridge University Press
¥ 329
书评(0)
Coding the Universe
A. Beller / 1982-01-01 / Cambridge University Press
¥ 876
书评(0)
The Finite Element Method in Thin Shell Theory: Application to Arch Dam Simulations
Bernardou / 1982-01-01 / Springer
¥ 215
书评(0)
Initial Segments of Degrees Below \(\underline{0}^\prime\)
Richard L. Epstein / 1981-12-30 / American Mathematical Society (AMS)
¥ 713
书评(0)
Mathematik f黵 Informatiker I:Die Methode der Mathematik
Bruno Buchberger, Universit鋞 Linz Forschungsinstitut f黵 Symbolisches, Buchberger; F. Lichtenberger / 1981-10-26 / Springer Berlin Heidelberg
¥ 379
书评(0)
Mathematical Logic, Revised Edition
Quine, W. V. / 1981-04-15 / Harvard University Press
¥ 309
书评(0)
Finite Geometries and Designs:Proceedings of the Second Isle of Thorns Conference 1980
P. J. Cameron / 1981-04-01 / Cambridge University Press
¥ 299
书评(0)
Recursion Theory, its Generalisations and Applications
F. R. Drake / 1980-11-01 / Cambridge University Press
¥ 452
书评(0)
The Foundations of Arithmetic Revised 2E Revised
FREGE / 1980-10-30 / Wiley-Blackwell
¥ 1031
书评(0)
Mechanizing Hypothesis Formation:Mathematical Foundations for a General Theory
Hajek / 1978-04-01 / Springer
¥ 658
书评(0)
Infinite Series
Hirschman, I. I.;Hirschman, Isidore Isaac;Park, Heo Sung(Illustrator) / 1978-02-10 / Praeger
¥ 248
书评(0)
Sheaf Theory
B. R. Tennison / 1975-12-01 / Cambridge University Press
¥ 751
书评(0)
Axiomatic Set Theory
Takeuti / 1973-04-06 / Springer New York
¥ 650
书评(0)
Set Theory and Metric Spaces
Irving Kaplansky / 1972-12-30 / American Mathematical Society (AMS)
¥ 878
书评(0)
Beginning Logic
E.J. Lemmon / 1971-09-30 / Chapman and Hall/CRC
¥ 380
书评(0)
Set Theory and Its Logic, Revised Edition
Quine, W. V. / 1969-01-01 / Belknap Press
¥ 972
书评(0)
Formale Logik
Lorenzen Paul / 1958-04-01 / Walter de Gruyter
¥ 650
书评(0)
Set Theory
Felix Hausdorff / 1957-01-30 / American Mathematical Society (AMS)
¥ 650
书评(0)
Principles of Mathematical Logic
D. Hilbert W. Ackermann / 1950-01-01 / American Mathematical Society (AMS)
¥ 411
书评(0)
The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5
Emil L. Post / 1942-01-20 / Princeton University Press
¥ 530
书评(0)
The Continuum and Other Types of Serial Order
Huntington Edward V. / 1929-02-05 / Harvard University Press
¥ 8414
书评(0)
Principia Mathematica 3 Volume Set
Alfred North Whitehead / 1923-01-01 / Cambridge University Press
1 … 19 20 21 跳转到 页
推荐图书
关于Readlink 帮助中心 免责声明 移动应用

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

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

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

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