所有科目 数学 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)
¥ 219
书评(0)
Ifcolog Journal of Logics and Their Applications Volume 4, Number 11. Dedicated to the Memory of Dale Jacquette
John Woods / 2018-02-01 / College Publications
¥ 658
书评(0)
Essentials of Mathematical Thinking
Steven G. Krantz / 2017-11-07 / Chapman and Hall/CRC
¥ 1098
书评(0)
Foundations of Mathematics
Paul B. Larson; Peter Koellner; James Cummings; Andres Eduardo Caicedo / 2017-06-30 / American Mathematical Society (AMS)
¥ 1218
书评(0)
Generalized Locally Toeplitz Sequences: Theory and Applications:Volume I
Garoni / 2017-06-26 / Springer International Publishing
¥ 882
书评(0)
SETS AND COMPUTATIONS
RAGHAVAN DILIP ET AL / 2017-06-23 / World Scientific Publishing
¥ 698
书评(0)
Mathematical Induction:A Powerful and Elegant Method of Proof
Titu Andreescu; Vlad Crisan / 2017-05-30 / American Mathematical Society (AMS)
¥ 1054
书评(0)
Descriptive Set Theory and Forcing:How to Prove Theorems about Borel Sets the Hard Way
Arnold W. Miller / 2017-05-01 / Cambridge University Press
¥ 551
书评(0)
Mathematical Formulae
Kubota Ken / 2017-04-04 / *KNV
¥ 1054
书评(0)
Degrees of Unsolvability:Local and Global Theory
Manuel Lerman / 2017-04-01 / Cambridge University Press
¥ 1346
书评(0)
Theoretical and Practical Advancements for Fuzzy System Integration
Deng-Feng Li / 2017-03-30 / IGI Publishing
¥ 822
书评(0)
Visual Cryptography and Secret Image Sharing
Cimato, Stelvio; Yang, Ching-Nung / 2017-03-29 / CRC Press
¥ 1400
书评(0)
Programming Languages and Systems:26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings
Yang / 2017-03-19 / Springer Berlin Heidelberg
¥ 972
书评(0)
Modern Solvers for Helmholtz Problems
Domenico Lahaye, Delft University of Technology, Delft, The Netherlands; Jok Tang, Delft University of Technology VORtech B.V., Delft, The Netherlands; Kees Vuik, Delft University of Technology, Delft / 2017-03-10 / Birkhaeuser Verlag Basel
¥ 1244
书评(0)
Constructibility
Keith J. Devlin / 2017-03-01 / Cambridge University Press
¥ 1005
书评(0)
Recursion Theory
Joseph R. Shoenfield / 2017-03-01 / Cambridge University Press
¥ 1054
书评(0)
Aspects of Incompleteness
Per Lindstr鰉 / 2017-03-01 / Cambridge University Press
¥ 1244
书评(0)
Higher Recursion Theory
Gerald E. Sacks / 2017-03-01 / Cambridge University Press
¥ 1720
书评(0)
Model-Theoretic Logics
J. Barwise / 2017-03-01 / Cambridge University Press
¥ 1223
书评(0)
Admissible Sets and Structures
Jon Barwise / 2017-03-01 / Cambridge University Press
¥ 1720
书评(0)
Proper and Improper Forcing
Saharon Shelah / 2017-03-01 / Cambridge University Press
¥ 1054
书评(0)
Model Theory of Fields
David Marker / 2017-03-01 / Cambridge University Press
¥ 1373
书评(0)
Recursion-Theoretic Hierarchies
Peter G. Hinman / 2017-03-01 / Cambridge University Press
¥ 1054
书评(0)
The Core Model Iterability Problem
John R. Steel / 2017-03-01 / Cambridge University Press
¥ 1054
书评(0)
Fine Structure and Iteration Trees
William J. Mitchell / 2017-03-01 / Cambridge University Press
¥ 1054
书评(0)
Computability in Analysis and Physics
Marian B. Pour-El / 2017-03-01 / Cambridge University Press
¥ 1054
书评(0)
General Recursion Theory:An Axiomatic Approach
Jens E. Fenstad / 2017-03-01 / Cambridge University Press
¥ 1373
书评(0)
Metamathematics of First-Order Arithmetic
Petr Hájek / 2017-03-01 / Cambridge University Press
¥ 1054
书评(0)
A General Algebraic Semantics for Sentential Logics
Josep Maria Font / 2017-03-01 / Cambridge University Press
¥ 1005
书评(0)
Logic Colloquium ’90:ASL Summer Meeting in Helsinki
Juha Oikkonen / 2017-03-01 / Cambridge University Press
¥ 1054
书评(0)
Bounded Variable Logics and Counting:A Study in Finite Models
Martin Otto / 2017-03-01 / Cambridge University Press
¥ 1005
书评(0)
Logic Colloquium ?96:Proceedings of the Colloquium held in San Sebasti醤, Spain, July 9?15, 1996
J. M. Larrazabal / 2017-03-01 / Cambridge University Press
¥ 1054
书评(0)
Gödel ’96:Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel’s Legacy
Petr Hájek / 2017-03-01 / Cambridge University Press
¥ 1223
书评(0)
Logic Colloquium ?95:Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9?18, 1995
Johann A. Makowsky / 2017-03-01 / Cambridge University Press
¥ 6363
书评(0)
Fuzzy Systems: Concepts, Methodologies, Tools, and Applications:Concepts, Methodologies, Tools, and Applications
Information Resources Management Association / 2017-02-22 / Information Science Publishing
¥ 841
书评(0)
Logic, Language, and Computation:11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers
Hansen / 2017-02-22 / Springer Berlin Heidelberg
¥ 822
书评(0)
A Bridge to Higher Mathematics
Valentin Deaconu and Donald C. Pfaff / 2016-12-05 / Chapman and Hall/CRC
¥ 1223
书评(0)
Algebra and Computer Science
Delaram Kahrobaei; Bren Cavallo; David Garber / 2016-11-30 / American Mathematical Society (AMS)
¥ 202
书评(0)
Ifcolog Journal of Logics and Their Applications Volume 3, Number 4: Proof, Truth, Computation
Leitgeb Hannes(Guest Editor)Petrakis Iosef(Guest Editor)Schuster Peter(Guest Editor) / 2016-11-23 / College Publications
¥ 286
书评(0)
Category Theory in Context
Riehl, Emily / 2016-11-16 / Dover Publications
¥ 624
书评(0)
Handbook of Finite State Based Models and Applications
Wang, Jiacun(编辑) / 2016-11-16 / Chapman and Hall/CRC
¥ 535
书评(0)
BEGINNER’S FURTHER GUIDE TO MATHEMATICAL LOGIC, A
SMULLYAN RAYMOND M / 2016-11-11 / World Scientific Publishing
¥ 176
书评(0)
BEGINNER’S FURTHER GUIDE TO MATHEMATICAL LOGIC, A
SMULLYAN RAYMOND M / 2016-11-11 / World Scientific Publishing
¥ 1679
书评(0)
Recent Developments in the Philosophy of Science: EPSA13 Helsinki
Uskali Mäki, University of Helsinki, Helsinki, Finland; Ioannis Votsis, Heinrich-Heine University Duesseldorf , Duesseldorf, Germany; Stéphanie Ruphy, Pierre Mendés-France University, Grenoble, France / 2016-10-22 / Springer Berlin Heidelberg
¥ 1069
书评(0)
Numerical Algebra, Matrix Theory, Differential-Algebraic Equations and Control Theory:Festschrift in Honor of Volker Mehrmann
Peter Benner, Max Planck Institute for Dynamics of Complex Technical Systems, Magdeburg, Germany; Matthias Bollhöfer, TU Braunschweig, Institute Computational Mathematics, Braunschweig, Germany; Danie / 2016-10-17 / Springer Berlin Heidelberg
¥ 507
书评(0)
IsoGeometric Analysis: A New Paradigm in the Numerical Approximation of PDEs:Cetraro, Italy 2012
Annalisa Buffa, IMATI - CNR , Pavia; Giancarlo Sangalli, Università di Pavia, Pavia, Italy / 2016-10-06 / Springer International Publishing
¥ 1054
书评(0)
Lectures on Infinitary Model Theory
David Marker / 2016-10-01 / Cambridge University Press
¥ 1334
书评(0)
Introduction to Coalgebra:Towards Mathematics of States and Observation
Bart Jacobs / 2016-10-01 / Cambridge University Press
¥ 929
书评(0)
Duality Theories for Boolean Algebras with Operators
Steven Givant, Mills College Department of Mathematics, Oakland, CA, USA / 2016-09-17 / Springer Berlin Heidelberg
1 2 3 4 5 6 … 21 跳转到 页
推荐图书
关于Readlink 帮助中心 免责声明 移动应用

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

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

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

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