Showing
1 - 2
results of
2
for search '
Latin-American Symposium on Mathematical Logic State University of Campinas
'
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
条码
检索
高级检索
作者
Latin-American Symposium on Mathematical Logic State University of Campinas
Showing
1 - 2
results of
2
for search '
Latin-American Symposium on Mathematical Logic State University of Campinas
'
, 查询时间: 0.01s
Refine Results
排序
相关性排序
日期递增
日期递增
索书号排序
作者排序
标题
1
会议录
图书
载入...
Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
出版 1977
“...
Latin
-
American
Symposium
on
Mathematical
Logic
State
University
of
Campinas
...”
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
2
会议录
图书
载入...
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
出版 1988
“...
Latin
-
American
Symposium
on
Mathematical
Logic
State
University
of
Campinas
...”
索引号:
载入...
位于:
载入...
加到收藏夹
Saved in:
检索工具:
得到RSS订阅
–
推荐此搜索
相关主题
Congresses
Logic, Symbolic and mathematical
Model theory
Nonclassical mathematical logic
Recursive functions