Showing
1 - 17
results of
17
for search '
'
Skip to content
CAVAL Home
Start Over
我的帐户
退出
登录
语言
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
全文检索
题名
作者
主题
ISBN/ISSN
条码
检索
高级检索
Reset Filters
主题建议:
Model theory
Reset Filters
Show filters (1)
主题建议:
Model theory
检索结果
在您的搜寻 主题建议
在您的搜寻 主题建议
Model theory
Algebra
1
Axiomatic set theory
1
Conditionals (Logic)
1
Congresses
1
Infinitary l
1
Infinitary languages
1
Knowledge, Theory of
1
Logic, Symbolic and mathematical
1
Metamathematics
1
Nonclassical mathematical logic
1
Performative (Philosophy)
1
Recursive functions
1
Showing
1 - 17
results of
17
for search '
'
, 查询时间: 0.01s
Refine Results
排序
相关性排序
日期递增
日期递增
索书号排序
作者排序
标题
1
图书
载入...
Model theory /
由
Chang, Chen Chung, 1927-
出版 1990
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
2
图书
载入...
Large infinitary languages : model theory /
由
Dickmann, M. A.
出版 1975
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
3
图书
载入...
Model theory.
由
Chang, Chen Chung, 1927-
出版 1973
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
4
会议录
图书
载入...
Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
出版 1977
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
5
图书
载入...
The metamathematics of algebraic systems : collected papers: 1936-1967 /
由
Malʹt͡sev, A. I. (Anatoliĭ Ivanovich), 1909-1967
出版 1971
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
6
图书
载入...
Constructible sets with applications.
由
Mostowski, Andrzej
出版 1969
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
7
会议录
图书
载入...
Applications of model theory to algebra, analysis, and probability /
出版 1969
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
8
图书
载入...
Model theory of infinitary logic : logic with countable conjuctions and finite quantifiers.
由
Keisler, H. Jerome
出版 1971
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
9
图书
载入...
Performatives and verifiability by the use of language. A study in the applied logic of indexicals and conditionals.
由
Aqvist, Lennart
出版 1971
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
10
图书
载入...
Saturated model theory
由
Sacks, Gerald E.
出版 1972
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
11
图书
载入...
Beginning model theory : the completeness theorem and some consequences /
由
Bridge, Jane
出版 1977
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
12
图书
载入...
Model theory /
由
Chang, Chen Chung, 1927-
出版 1977
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
13
图书
载入...
Allgemeine Modelltheorie.
由
Stachowiak, Herbert
出版 1973
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
14
图书
载入...
Model theory /
由
Chang, Chen Chung, 1927-
出版 1973
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
15
图书
载入...
Continuous model theory,
由
Chang, Chen Chung, 1927-
出版 1966
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
16
图书
载入...
Classification theory and the number of non-isomorphic models /
由
Shelah, Saharon
出版 1978
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
17
图书
载入...
Studies in model theory
由
Morley, M. D. (Michael Darwin), 1930-
出版 1973
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
检索工具:
得到RSS订阅
–
推荐此搜索
–
保存搜索
Back
Refine Results
出版年
来自:
到:
语言
English
16
Unknown
1
主题
Q - Science
6
B - Philosophy, Psychology, Religion
1