association for symbolic logic (9)
ieee computer society (5)
acm special interest group for automata and computability theory (4)
european association for theoretical computer science (4)
symposium on logic in computer science (4)
[edited by anil nerode, richard a. shore] (1)
american mathematical society (1)
ams-asl summer institute on recursion theory (1)
barwise, jon (1)
chandra, ashok k (1)
church, alonzo, (1)
crossley, john n (1)
ed. by j. n. crossley, and m. a. e. dummett (1)
langford, cooper harold, (1)
moschovakis, yiannis n., (1)
nerode, anil, (1)
shore, richard a., (1)
sponsored by ieee computer society technical committee on mathematical foundations of computing in cooperation with acm sigact, association for symbolic logic, europe association for theoretical computer science (1)
sponsored by the ieee computer society technical committee on mathematical foundations of computing in cooperation with acm sigact, association for symbolic logic, [and] european association for theoretical computer science (1)
sponsored by the ieee technlcal committee on mathematical foundations of computing (1)
显示更多..

名称:
描述:
公开/私有:	公开私有

标题:
描述:
公开/私有:	公开私有

	1.		Journal of Symbolic Logic 订购中著者: Association for Symbolic Logic 出版社: Association for Symbolic Logic 出版日期: 1936- 文献类型: 国内版外文期刊 , 索书号: O14/31689 在馆信息电子资源随书附盘图书信息概览图书目录试读信息内容简介著者简介
	2.		Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 / 订购中著者: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT Association for Symbolic Logic Europe Association for Theoretical Computer Science. 出版社: IEEE Computer Society Press, 出版日期: c1992. 文献类型: 图书 , 索书号: 在馆信息电子资源随书附盘图书信息概览图书目录试读信息内容简介著者简介
	3.		The Journal of symbolic logic. 订购中著者: Church Alonzo Langford Cooper Harold 出版社: Association for Symbolic Logic, 出版日期: 1936- 文献类型: 期刊 , 索书号: 在馆信息电子资源随书附盘图书信息概览图书目录试读信息内容简介著者简介
	4.		Abstract recursion and intrinsic complexity / 订购中著者: Yiannis N. Moschovakis University of California Los Angeles and University of Athens. 出版社: Cambridge University Press, 出版日期: 2019. 文献类型: 图书 , 索书号: O141.3/207595 在馆信息电子资源随书附盘图书信息概览图书目录试读信息内容简介著者简介
	5.		Formal systems and recursive functions : proceedings of the 8th Logic Colloquium, Oxford, July, 1963 / 订购中著者: Crossley John N. 出版社: North-Holland Pub. Co., 出版日期: 1965. 文献类型: 图书 , 索书号: 在馆信息电子资源随书附盘图书信息概览图书目录试读信息内容简介著者简介
	6.		Recursion theory / 订购中著者: Nerode Anil Shore Richard A. 出版社: American Mathematical Society, 出版日期: 1985. 文献类型: 图书 , 索书号: 在馆信息电子资源随书附盘图书信息概览图书目录试读信息内容简介著者简介
	7.		Symposium on Logic in Computer Science : proceedings : Cambridge, Massachusetts, June 16-18, 1986 / 订购中著者: Barwise Jon. Chandra Ashok K. 出版社: IEEE Computer Society Press, 出版日期: c1986. 文献类型: 图书 , 索书号: 在馆信息电子资源随书附盘图书信息概览图书目录试读信息内容简介著者简介
	8.		Proceedings of the 4th annual symposium on logic in computer science/ 订购中著者: Symposium on Logic in Computer Science. 出版社: IEEE Computer Society Press, 出版日期: c1989 文献类型: 图书 , 索书号: 在馆信息电子资源随书附盘图书信息概览图书目录试读信息内容简介著者简介
	9.		Proceedings /. 1987 订购中著者: Symposium on Logic in Computer Science 出版社: IEEE Computer Society Press, 出版日期: c1987 文献类型: 图书 , 索书号: 在馆信息电子资源随书附盘图书信息概览图书目录试读信息内容简介著者简介
	10.		Fifth Annual IEEE Symposium on Logic in Computer Science / 订购中著者: sponsored by the IEEE technlcal committee on mathematical foundations of computing. 出版社: IEEE Computer Society Press, 出版日期: c1990. 文献类型: 图书 , 索书号: 在馆信息电子资源随书附盘图书信息概览图书目录试读信息内容简介著者简介