ReadLink-学科

二级学科：

数学史(15135) 数理逻辑与数学基础(982) 数论(641) 代数学(5407) 代数几何学(295) 几何学(2097) 拓扑学(347) 数学分析(2357) 非标准分析(82) 函数论(580) 常微分方程(16) 偏微分方程(25) 积分方程(1) 泛函分析(553) 计算数学(416) 概率论(4262) 数理统计学(348) 应用统计数学(22) 运筹学(558) 组合数学(223) 离散数学(278) 模糊数学(46) 应用数学(2272)

15/21

¥ 119

书评(0)

Introduction to the Theory of Sets

Breuer, Joseph / 2006-07-28 / Dover Publications

¥ 855

书评(0)

Logic Colloquium ?02: Lecture Notes in Logic 27:Lecture Notes in Logic 27

Zoé Chatzidakis , Peter Koepke and Wolfram Pohlers / 2006-07-13 / A K Peters/CRC Press

¥ 471

书评(0)

Logic Colloquium ?02: Lecture Notes in Logic 27:Lecture Notes in Logic 27

Edited by Zoé Chatzidakis , Peter Koepke and Wolfram Pohlers / 2006-07-13 / A K Peters/CRC Press

¥ 1536

书评(0)

Theorems, Corollaries, Lemmas, and Methods of Proof

Richard Rossi / 2006-06-29 / Wiley-Interscience

¥ 1632

书评(0)

The Structure of Models of Peano Arithmetic

Kossak Roman Schmerl James / 2006-06-29 / Oxford University Press

¥ 650

书评(0)

Algebraic Logic

Paul R. Halmos / 2006-05-30 / American Mathematical Society (AMS)

¥ 547

书评(0)

Logic in Tehran:Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, held October 18-22, 2003, Lecture Notes in Logic 26

Ali Enayat , Iraj Kalantari and Mojtaba Moniri / 2006-05-22 / A K Peters/CRC Press

¥ 306

书评(0)

Logic in Tehran:Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, held October 18-22, 2003, Lecture Notes in Logic 26

Edited by Ali Enayat , Iraj Kalantari and Mojtaba Moniri / 2006-05-22 / A K Peters/CRC Press

¥ 307

书评(0)

How to Prove It:A Structured Approach

Daniel J. Velleman / 2006-04-01 / Cambridge University Press

¥ 633

书评(0)

The Role of True Finiteness in the Admissible Recursively Enumerable Degrees

Noam Greenberg / 2006-03-30 / American Mathematical Society (AMS)

¥ 624

书评(0)

Logic Colloquium ’03:Lecture Notes in Logic 24

Viggo Stoltenberg-Hansen and Jouko Väänänen / 2006-02-21 / A K Peters/CRC Press

¥ 306

书评(0)

Logic Colloquium ’03:Lecture Notes in Logic 24

Edited by Viggo Stoltenberg-Hansen and Jouko Väänänen / 2006-02-21 / A K Peters/CRC Press

¥ 648

书评(0)

Thinking Recursively:A 20th Anniversary Edition with Java

Eric Roberts / 2005-10-26 / Wiley

¥ 2244

书评(0)

From Sets and Types to Topology and Analysis:Towards practicable foundations for constructive mathematics

Crosilla Laura Schuster Peter / 2005-10-06 / Oxford University Press

¥ 2558

书评(0)

Discrete Mathematics

Doug Ensley / 2005-09-22 / Wiley

¥ 101

书评(0)

Schaum\'s Easy Outline Logic: Based on Schaum\'s Outline of Theory and Problems of Logic

Nolt, John;Rohatyn, Dennis;Varzi, Achille C. / 2005-09-21

¥ 142

书评(0)

Godel’s Proof

Ernest Nagel and James R. Newman / 2005-09-09 / Routledge

¥ 493

书评(0)

Intensionality:Lecture Notes in Logic 22

Edited by Reinhard Kahle / 2005-09-01 / A K Peters/CRC Press

¥ 1223

书评(0)

Logic and its Applications

Andreas Blass / 2005-08-30 / American Mathematical Society (AMS)

¥ 680

书评(0)

Rigidity Theorems for Actions of Product Groups and Countable Borel Equivalence Relations

Greg Hjorth / 2005-08-30 / American Mathematical Society (AMS)

¥ 828

书评(0)

Proof and Disproof in Formal Logic

Bornat Richard / 2005-07-21 / Oxford University Press

¥ 723

书评(0)

Proof and Disproof in Formal Logic:An Introduction for programmers

Bornat Richard / 2005-07-21 / Oxford University Press

¥ 352

书评(0)

Logic, Methodology and Philosophy of Science

Hajek, P.(编辑);Valdes-Villanueva, L.(编辑);Westerstahl, D.(编辑) / 2005-07-01 / College Publications

¥ 442

书评(0)

Global Smoothness and Shape Preserving Interpolation by Classical Operators

Gal / 2005-07-01 / Birkhaeuser Verlag Basel

¥ 1176

书评(0)

Hausdorff on Ordered Sets

J. M. Plotkin / 2005-06-30 / American Mathematical Society (AMS)

¥ 884

书评(0)

Second Generation Wavelets and Applications

Jansen / 2005-05-15 / Springer London

¥ 2157

书评(0)

Interpolation and Definability:Modal and Intuitionistic Logics

Gabbay Dov M. Maksimova Larisa / 2005-05-12 / Oxford University Press

¥ 855

书评(0)

Logic Colloquium 2000 (hardcover):Lecture Notes in Logic, 19

Rene Cori, Alexander Razborov, Stevo Todorcevic and Carol Wood / 2005-04-25 / A K Peters/CRC Press

¥ 471

书评(0)

Logic Colloquium 2000 (hardcover):Lecture Notes in Logic, 19

Edited by Rene Cori, Alexander Razborov, Stevo Todorcevic and Carol Wood / 2005-04-25 / A K Peters/CRC Press

¥ 471

书评(0)

The Notre Dame Lectures:Lecture Notes in Logic, 18

Peter Cholak / 2005-04-09 / A K Peters/CRC Press

¥ 228

书评(0)

Partielle Differentialgleichungen und numerische Methoden

Stig Larsson, Chalmers University of Technology Dept. Mathematics, Göteborg, Sweden; Vidar Thomee, Chalmers University of Technology Dept. Mathematics, Göteborg, Sweden / 2005-03-09 / Springer Berlin Heidelberg

¥ 306

书评(0)

Logic Colloquium ’01:Lecture Notes In Logic, 20

Edited by Matthias Baaz, Sy-David Friedman and Jan Krajícek / 2005-03-07 / A K Peters/CRC Press

¥ 1768

书评(0)

Fuzzy Modeling with Spatial Information for Geographic Problems

Petry, F. E. / 2005-02-15 / Springer Berlin Heidelberg

¥ 555

书评(0)

Mathematical Modelling

Reinhard Illner |C. Sean Bohun |Samantha McCollum |Thea van / 2004-12-30 / American Mathematical Society (AMS)

¥ 1341

书评(0)

Bayesian Nets and Causality: Philosophical and Computational Foundations

Williamson Jon / 2004-12-23 / Oxford University Press

¥ 329

书评(0)

Linear Logic in Computer Science

Thomas Ehrhard / 2004-11-01 / Cambridge University Press

¥ 1054

书评(0)

The Covering Property Axiom, CPA:A Combinatorial Core of the Iterated Perfect Set Model

Krzysztof Ciesielski / 2004-11-01 / Cambridge University Press

¥ 1223

书评(0)

Nonstandard Models of Arithmetic and Set Theory

Ali Enayat / 2004-09-30 / American Mathematical Society (AMS)

¥ 1040

书评(0)

Inexhaustibility: A Non-Exhaustive Treatment:Lecture Notes in Logic 16

Torkel Franzén / 2004-09-02 / A K Peters/CRC Press

¥ 493

书评(0)

Inexhaustibility: A Non-Exhaustive Treatment:Lecture Notes in Logic 16

Torkel Franzén / 2004-09-02 / A K Peters/CRC Press

¥ 357

书评(0)

The Stationary Tower:Notes on a Course by W. Hugh Woodin

Paul B. Larson / 2004-07-30 / American Mathematical Society (AMS)

¥ 855

书评(0)

Logic Colloquium ’99:Lecture Notes in Logic 17

Jan Van Eijck , Vincent Van Oostrom and Albert Visser / 2004-07-08 / A K Peters/CRC Press

¥ 471

书评(0)

Logic Colloquium ’99:Lecture Notes in Logic 17

Edited by Jan Van Eijck , Vincent Van Oostrom and Albert Visser / 2004-07-08 / A K Peters/CRC Press

¥ 2478

书评(0)

A First Course in Logic:An Introduction to Model Theory, Proof Theory, Computability, and Complexity

Hedman Shawn / 2004-07-08 / Oxford University Press

¥ 1038

书评(0)

A First Course in Logic:An Introduction to Model Theory, Proof Theory, Computability, and Complexity

Hedman Shawn / 2004-07-08 / Oxford University Press

¥ 299

书评(0)

Spectral Generalizations of Line Graphs:On Graphs with Least Eigenvalue -2

Drago Cvetkovic / 2004-07-01 / Cambridge University Press

¥ 126

书评(0)

A Profile of Mathematical Logic

DeLong, Howard / 2004-06-17

¥ 498

书评(0)

Algebraic Automata Theory

M. Holcombe / 2004-06-01 / Cambridge University Press

上一页 1 … 13 14 15 16 17 18 … 21 下一页跳转到页

推荐图书

Die Mathematische Methode:Logisch Erkenntnistheoretische Untersuchungen im Gebiete der Mathematik Mechanik und Physik
Otto H鰈der

¥626.00

Mathematical Labyrinths. Pathfinding
Pritsker, Boris

¥716.00

Mathematical Labyrinths. Pathfinding
Pritsker, Boris

¥204.00

Reckonings: Numerals, Cognition, and History
Chrisomalis Stephen

¥214.00

New Methods and Paradigms for Modeling Dynamic Processes Based on Cellular Automata
Bilan, Stepan Mykolayovych;Bilan, Mykola Mykolayovych;Motornyuk, Ruslan Leonidovich

¥934.00

New Methods and Paradigms for Modeling Dynamic Processes Based on Cellular Automata
Stepan Mykolayovych Bilan

¥1448.00

Mage Merlin’s Unsolved Mathematical Mysteries
Satyan Linus Devadoss

¥175.00

Algorithmic Randomness:Progress and Prospects
Johanna N. Y. Franklin

¥1005.00

An Introduction to Formal Logic
Smith, Peter

¥939.00