简单检索 多字段检索 组合检索 检索结果

—/ MANUEL LERMAN.

索书号：O141.3/LM

标准编码：3-540-12155-2

出版信息：: SPRINGER-VERLAG,  1983.  Berlin

—EDITED BY ROD DOWNEY, NOAM GREENBERG.

索书号：TP301/DR

标准编码：9780691199658 :

出版信息：PRINCETON UNIVERSITY PRESS,  2020.  PRINCETON, NEW JERSEY :

主题词： UNSOLVABILITY (MATHEMATICAL LOGIC)COMPUTABLE FUNCTIONS.RECURSIVELY ENUMERABLE SETS.