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
Barcode
檢索
高級檢索
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.02s
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
Conference Proceeding
圖書
載入...
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
Conference Proceeding
圖書
載入...
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