語系:
繁體中文
English
說明(常見問題)
登入
跳至 :
概要
書目資訊
主題
Model theory.
概要
作品:
23 作品在 14 項出版品 14 種語言
書目資訊
Institution-independent model theory
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:
(書目-語言資料,印刷品)
Building and Solving Mathematical Programming Models = 50 Practical Examples /
by:
(書目-語言資料,印刷品)
Mathematical Logic = Exercises and Solutions /
by:
(書目-語言資料,印刷品)
Model Validation and Uncertainty Quantification, Volume 3 = Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics 2021 /
by:
(書目-語言資料,印刷品)
Point-counting and the Zilber-Pink conjecture
by:
(書目-語言資料,印刷品)
Point-counting and the Zilber-Pink conjecture /
by:
(書目-語言資料,印刷品)
更多
較少的
主題
Mathematical logic.
Computer science—Mathematics.
Constructibility (Set theory)
Model theory.
Buildings—Maintenance.
Theory of Computation.
Metamathematics.
Mechanical Statics and Structures.
Operations Research, Management Science .
Logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Computable functions.
Geometry, Analytic.
Recursion theory.
Artificial Intelligence (incl. Robotics)
General Algebraic Systems.
Mathematics.
Group Theory and Generalizations.
Logic, Symbolic and mathematical.
Operations research.
Model Theory.
Algebraic Geometry.
Operations Research and Decision Theory.
Diophantine equations.
Mathematical optimization.
Axiomatic set theory.
General Logic.
Statics.
Buildings—Design and construction.
Algebra.
Arithmetic and Logic Structures.
Computation by Abstract Devices.
Buildings—Repair and reconstruction.
Building Construction and Design.
Algebra, Abstract.
Infinitary languages.
Arithmetical algebraic geometry.
Forcing (Model theory)
Modular curves.
Formal Languages and Automata Theory.
Language Translation and Linguistics.
Vector fields.
Building Repair and Maintenance.
Computer Science.
Number Theory.
Management science.
Optimization.
Set theory.
Mathematical Applications in Computer Science.
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入