語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
跳至 :
概要
書目資訊
主題
Model theory.
概要
作品:
39 作品在 9 項出版品 9 種語言
書目資訊
Automorphisms of first-order structures /
by:
(書目-語言資料,印刷品)
A Shorter model theory /
by:
(書目-語言資料,印刷品)
Finite structures with few types /
by:
(書目-語言資料,印刷品)
Set theory : = Boolean-valued models and independence proofs /
by:
(書目-語言資料,印刷品)
Stable domination and independence in algebraically closed valued fields /
by:
(書目-語言資料,印刷品)
Topics in model theory /
by:
(書目-語言資料,印刷品)
Model theory /
by:
(書目-語言資料,印刷品)
Uncountably categorical theories /
by:
(書目-語言資料,印刷品)
A course in model theory : = an introduction to contemporary mathematical logic /
by:
(書目-語言資料,印刷品)
Accessible categories : = the foundations of categorical model theory /
by:
(書目-語言資料,印刷品)
The reconstruction of trees from their automorphism groups /
by:
(書目-語言資料,印刷品)
Logica Universalis = Towards a General Theory of Logic /
by:
(書目-語言資料,印刷品)
Henkin-Keisler models
by:
(書目-語言資料,印刷品)
Model theory and algebraic geometry = an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture /
by:
(書目-語言資料,印刷品)
Categoricity /
by:
(書目-語言資料,印刷品)
Computable models
by:
(書目-語言資料,印刷品)
Simple groups of finite Morley rank /
by:
(書目-語言資料,印刷品)
Lecture notes on O-minimal structures and real analytic geometry
by:
(書目-電子資源)
Institution-independent model theory
by:
(書目-電子資源)
Model theory in algebra, analysis and arithmetic = Cetraro, Italy 2012 /
by:
(書目-電子資源)
A course on basic model theory
by:
(書目-電子資源)
Models and games
by:
(書目-電子資源)
Mathematical logic = exercises and solutions /
by:
(書目-電子資源)
Point-counting and the Zilber-Pink conjecture
by:
(書目-電子資源)
Simplicity Theory
by:
(書目-電子資源)
An invitation to model theory /
by:
(書目-語言資料,印刷品)
Model theory and algebraic geometry : = an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture /
by:
(書目-語言資料,印刷品)
Essential stability theory /
by:
(書目-語言資料,印刷品)
Model theory : = an introduction /
by:
(書目-語言資料,印刷品)
Continuous model theory /
by:
(書目-語言資料,印刷品)
Henkin-Keisler models
by:
(書目-語言資料,印刷品)
Model theory = an introduction /
by:
(書目-語言資料,印刷品)
Model theory with applications to algebra and analysis /
by:
(書目-語言資料,印刷品)
Building models by games /
by:
(書目-語言資料,印刷品)
Model theory = an introduction /
by:
(書目-語言資料,印刷品)
A Course in model theory /
by:
(書目-語言資料,印刷品)
A Functorial model theory : = newer applications to algebraic topology, descriptive sets, and computing categories topos /
by:
(書目-語言資料,印刷品)
更多
較少的
主題
Arithmetical algebraic geometry.
Modell conjecture.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Theory of Computation.
Geometry, Analytic.
Vector fields.
Group Theory and Generalizations.
Logic.
Valued fields.
Number theory.
Modular curves.
Automorphisms.
Toposes.
Logic, Symbolic and mathematical.
Language Translation and Linguistics.
Logics and Meanings of Programs.
Functor theory.
Algebra.
Model Theory.
Group theory.
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices.
Algebra, Boolean.
Axiomatic set theory.
Algebraic Geometry.
Mod墈les, Th歋orie des.
Mathematics.
Computable functions.
Domination (Graph theory)
Analysis.
Number Theory.
Diophantine equations.
Stability.
Completeness theorem.
Trees (Graph theory)
Model theory.
Game theory.
Model theory
Independence (Mathematics)
General Logic.
Permutation groups.
Envelopes (Geometry).
Ultraproducts.
Arithmetic and Logic Structures.
Mordell conjecture.
Computer Science.
Finite groups.
Categories (Mathematics)
First-order logic.
General Algebraic Systems.
處理中
...
變更密碼
登入