1
results
Skip to content
我的帐户
退出
机构登录
语言
English
Te Reo Māori
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
हिंदी
Հայերէն
Українська
Sámegiella
Keyword
课程
题名
期刊标题
作者
主题
ISBN/ISSN
索引号
Call Number (LC)
Call Number (Dewey)
Call Number (Local)
Bib#
条码
丛编
按字母顺序浏览: 按标题
按字母顺序浏览: 按作者
按字母顺序浏览: 按主题
按字母顺序浏览: By LC Call Number
按字母顺序浏览: By Dewey Call Number
检索
高级检索
Page will reload when a filter is removed.
Applied Filters:
作者:
Remove Filter
Dummett, Michael, 1925-2011
主题建议:
Remove Filter
Recursive functions
Page will reload when a filter is removed.
Show filters (2)
作者:
Remove Filter
Dummett, Michael, 1925-2011
主题建议:
Remove Filter
Recursive functions
UC Library
Library Catalogue
检索结果
1
results
Refine Results
结果/页
10
20
40
60
80
100
排序
相关性排序
日期递增
日期递增
索书号排序
作者排序
标题
选择页
电子邮件
导出
打印
保存
Select result number 1
1
Formal systems and recursive functions : proceedings /
出版 1965
位于
载入...
索引号
载入...
会议录
图书
载入...
加到收藏夹
Saved in:
选择页
电子邮件
导出
打印
保存
检索工具:
得到RSS订阅
推荐此搜索
保存搜索
Back
Refine Results
Page will reload when a filter is selected or excluded.
格式
图书
1 results
1
会议录
1 results
1
图书馆
Central Library
1 results
1
出版年
来自:
到:
主题建议
Logic, Symbolic and mathematical
1 results
1
Recursive functions
语言
English
1 results
1
作者
Association for Symbolic Logic
1 results
1
Crossley, John N.
1 results
1
Dummett, Michael, 1925-2011
International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
1 results
1
Logic Colloquium Oxford, Oxfordshire
1 results
1
North Atlantic Treaty Organization
1 results
1
Symposium on Recursive Functions
1 results
1
查看所有...
索引号
Q - Science
1 results
1
载入...
