Jump to main content

yr 〜
yr

Search results 9

Categoricity

Categoricity
Paper図書
John T. BaldwinAmerican Mathematical Society2009
Other Libraries in Japan

Completeness theory for propositional logics : pbk.

Completeness theory for propositional logics : pbk.
Paper図書
Witold A. Pogorzelski, Piotr WojtylakBirkhäuserc2008
Other Libraries in Japan

Uncountably categorical theories / Boris Zilber ; [translated from the Russian by D. Louvish ; translation edited by Simeon Ivanov]. (Translations of mathematical monographs ; v. 117)

Uncountably categorical theories / Boris Zilber ; [translated from the Russian by D. Louvish ; translation edited by Simeon Ivanov]. (Translations of mathematical monographs ; v. 117)
Paper図書
American Mathematical Societyc1993.<MA41-A85>
National Diet Library
  • Subject Headingカテゴリー (数学) モデルの理論. Categories (Mathematics) Completeness theorem. Model theory.

KATの完全性定理と項の還元可能性の決定可能性

KATの完全性定理と項の還元可能性の決定可能性
Digital博士論文
浦本, 武雄京都大学 (Kyoto University)2014-03-24
Available onlineOther Libraries in Japan

Polynomial completeness in algebraic systems

Polynomial completeness in algebraic systems
Paper図書
Kalle Kaarli, Alden F. PixleyChapman & Hall/CRCc2001
Other Libraries in Japan

Completeness problems in the structural theory of automata / by Jürgen Dassow. (Mathematical research = Mathematische Forschung ; Bd. 7)

Completeness problems in the structural theory of automata / by Jürgen Dassow. (Mathematical research = Mathematische Forschung ; Bd. 7)
Paper図書
Akademie-Verlag1981.<MA41-197>
National Diet Library
  • Subject HeadingSequential machine theory. Completeness theorem.

Uncountably categorical theories

Uncountably categorical theories
Paper図書
Boris ZilberAmerican Mathematical Societyc1993
Other Libraries in Japan

Completeness problems in the structural theory of automata

Completeness problems in the structural theory of automata
Paper図書
by Jürgen DassowAkademie-Verlag1981
Other Libraries in Japan

Beginning model theory : the completeness theorem and some consequences

Beginning model theory : the completeness theorem and some consequences
Paper図書
by Jane BridgeClarendon Press1977
Other Libraries in Japan

Reached to the end of result.

RSS