語系:
繁體中文
English
說明(常見問題)
登入
跳至 :
概要
書目資訊
主題
Model theory.
概要
作品:
22 作品在 13 項出版品 13 種語言
書目資訊
Point-counting and the Zilber-Pink conjecture /
by:
(書目-語言資料,印刷品)
Point-counting and the Zilber-Pink conjecture
by:
(書目-語言資料,印刷品)
Model Validation and Uncertainty Quantification, Volume 3 = Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics 2021 /
by:
(書目-語言資料,印刷品)
Mathematical Logic = Exercises and Solutions /
by:
(書目-語言資料,印刷品)
Building and Solving Mathematical Programming Models = 50 Practical Examples /
by:
(書目-語言資料,印刷品)
The foundations of mathematics /
by:
(書目-語言資料,印刷品)
Logica Universalis = Towards a General Theory of Logic /
by:
(書目-語言資料,印刷品)
Institution-independent model theory /
by:
(書目-語言資料,印刷品)
Computable models
by:
(書目-語言資料,印刷品)
Institution-independent model theory
by:
(書目-語言資料,印刷品)
Lecture notes on O-minimal structures and real analytic geometry
by:
(書目-語言資料,印刷品)
Simplicity Theory
by:
(書目-語言資料,印刷品)
Classification theory and the number of non-isomorphic models
by:
(書目-語言資料,印刷品)
Constructible sets with applications
by:
(書目-語言資料,印刷品)
Introduction to model theory and to the metamathematics of algebra
by:
(書目-語言資料,印刷品)
Intuitionistic logic, model theory and forcing
by:
(書目-語言資料,印刷品)
Large infinitary languages = model theory /
by:
(書目-語言資料,印刷品)
Model theory /
by:
(書目-語言資料,印刷品)
Model theory for infinitary logic = logic with countable conjunctions and finite quantifiers /
by:
(書目-語言資料,印刷品)
The metamathematics of algebraic systems, collected papers = 1936-1967 /
by:
(書目-語言資料,印刷品)
Lectures on infinitary model theory /
by:
(書目-語言資料,印刷品)
A course on basic model theory
by:
(書目-語言資料,印刷品)
更多
較少的
主題
Mathematical Logic and Foundations.
Geometry, Analytic.
General Algebraic Systems.
Axiomatic set theory.
General Logic.
Algebra, Abstract.
Language Translation and Linguistics.
Building Repair and Maintenance.
Buildings—Design and construction.
Arithmetic and Logic Structures.
Computation by Abstract Devices.
Buildings—Repair and reconstruction.
Computer science—Mathematics.
Metamathematics.
Logic.
Mathematical Logic and Formal Languages.
Recursion theory.
Group Theory and Generalizations.
Model Theory.
Operations Research and Decision Theory.
Logic, Symbolic and mathematical.
Algebraic Geometry.
Statics.
Constructibility (Set theory)
Model theory.
Buildings—Maintenance.
Theory of Computation.
Mechanical Statics and Structures.
Operations Research, Management Science .
Logics and Meanings of Programs.
Mathematics.
Mathematical optimization.
Algebra.
Building Construction and Design.
Infinitary languages.
Arithmetical algebraic geometry.
Forcing (Model theory)
Modular curves.
Vector fields.
Computer Science.
Number Theory.
Management science.
Optimization.
Set theory.
Mathematical logic.
Computable functions.
Artificial Intelligence (incl. Robotics)
Mathematical Applications in Computer Science.
Operations research.
Diophantine equations.
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入