所有科目 数学 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)
¥ 914
书评(0)
Introduction to Relation Algebras:Relation Algebras, Volume 1
Steven Givant, Mills College, Oakland, CA, USA / 2018-08-12 / Springer Berlin Heidelberg
¥ 614
书评(0)
Logical Foundations of Cyber-Physical Systems
André Platzer, Carnegie Mellon University, Pittsburgh, PA, USA / 2018-08-11 / Springer Berlin Heidelberg
¥ 266
书评(0)
Handbook of Normative Multiagent Systems
Amit Chopra; Leendert van der Torre; Harko Verhagen / 2018-08-06 / College Publications
¥ 423
书评(0)
Argumentation and Inference. Volume II:Proceedings of the 2nd European Conference on Argumentation
Steve Oswald; Dider Maillat / 2018-07-25 / College Publications
¥ 716
书评(0)
Eliminating the Universe:Logical Properties of Natural Language
Keenan Edward L / 2018-07-09 / World Scientific Publishing
¥ 159
书评(0)
Journal of Applied Logics - Ifcolog Journal:Volume 5, Number 4, June 2018
Dov Gabbay / 2018-06-25 / College Publications
¥ 1366
书评(0)
Dependence Logic:Theory and Applications
Samson Abramsky, University of Oxford, Oxford, UK; Juha Kontinen, University of Helsinki, Helsink, Finland; Jouko Väänänen, University of Helsinki, Helsinki, Finland; Heribert Vollmer, Leibniz Univers / 2018-06-24 / Birkhaeuser Verlag Basel
¥ 248
书评(0)
Logic in Wonderland:An Introduction to Logic Through Reading Alice in Wonderland - Teacher?s Guidebook
Movshovitz-Hadar Nitsa et Al / 2018-06-14 / World Scientific Publishing
¥ 540
书评(0)
Logic in Wonderland:An Introduction to Logic Through Reading Alice in Wonderland - Teacher?s Guidebook
Movshovitz-Hadar Nitsa et Al / 2018-06-14 / World Scientific Publishing
¥ 1054
书评(0)
Abstract Recursion and Intrinsic Complexity
Yiannis N. Moschovakis / 2018-06-12 / Cambridge University Press
¥ 243
书评(0)
Deontic Logic and Normative Systems:14th International Conference, Deon 2018, Utrecht, the Netherlands, 3-8 July 2018
Jan Broersen; Cleo Condoravdi; Shyam Nair / 2018-06-11 / College Publications
¥ 173
书评(0)
Journal of Applied Logics - Ifcolog Journal:Volume, Number 2, April 2018:Special Issue:Normative Multi-Agent Systems
Serena Villatta / 2018-05-02 / College Publications
¥ 416
书评(0)
A TeXas Style Introduction to Proof
Ron Taylor; Patrick X. Rault / 2018-03-30 / American Mathematical Society (AMS)
¥ 268
书评(0)
Synthetic Differential Topology
Marta Bunge / 2018-03-29 / Cambridge University Press
¥ 886
书评(0)
The Homotopy Theory of (∞,1)-Categories
Julia E. Bergner / 2018-03-15 / Cambridge University Press
¥ 329
书评(0)
The Homotopy Theory of (∞,1)-Categories
Julia E. Bergner / 2018-03-15 / Cambridge University Press
¥ 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
¥ 903
书评(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
¥ 118
书评(0)
The Logician and the Engineer:How George Boole and Claude Shannon Created the Information Age
Paul J. Nahin / 2017-04-04 / Princeton University Press
¥ 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
1 2 3 4 5 6 … 21 跳转到 页
推荐图书
关于Readlink 帮助中心 免责声明 移动应用

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

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

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

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