q=%E9%80%92%E5%BD%92%E8%AE%BA%EF%BC%88%E9%80%92%E5%BD%92%E5%87%BD%E6%95%B0%E3%80%81%E8%83%BD%E8%A1%8C%E6%80%A7%E7%90%86%E8%AE%BA%EF%BC%89%E5%88%86%E5%B1%82%E3%80%81%E5%8F%AF%E8%AE%A1%E7%AE%97%E7%90%86%E8%AE%BA%E4%B8%8E%E6%9E%84%E9%80%A0%E8%AE%BA%E3%80%81%E5%8F%AF%E6%9E%84%E9%80%A0%E6%80%A7%E7%90%86%E8%AE%BA%E3%80%81%CE%BB%E8%BD%AC%E6%8D%A2%E3%80%81%E5%9B%BE%E7%81%B5%E6%9C%BA%E3%80%81%E6%9C%89%E7%A9%B7%E7%BB%84%E5%90%88%E8%BF%87%E7%A8%8B%E3%80%81%E7%BB%84%E5%90%88%E9%80%BB%E8%BE%91%E7%AD%89%E5%85%A5%E6%AD%A4%E3%80%82%E5%8F%82%E8%A7%81b815.2%E3%80%82%E3%80%883%E7%89%88%E7%B1%BB%E5%90%8D%EF%BC%9A%E5%8F%AF%E8%AE%A1%E7%AE%97%E7%90%86%E8%AE%BA%E5%92%8C%E6%9E%84%E9%80%A0%E8%AE%BA%E3%80%89&searchType=standard&isFacet=true&view=standard&searchWay=subject&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
递归论（递归函数、能行性理论）分层、可计算理论与构造论、可构造性理论、λ转换、图灵机、有穷组合过程、组合逻辑等入此。参见B815.2。〈3版类名：可计算理论和构造论〉