链接至“可判定性”的页面

以下页面链接至可判定性：

显示14项。

• 算法 （←链接）
• 图灵机 （←链接）
• 递归语言 （←链接）
• 一阶逻辑 （←链接）
• 二階邏輯 （←链接）
• 关系语义 （←链接）
• 递归集合 （←链接）
• 简单类型λ演算 （←链接）
• 直觉类型论 （←链接）
• 停机问题 （←链接）
• 逻辑框架 （←链接）
• 自由群 （←链接）
• 模态伙伴 （←链接）
• 莱斯定理 （←链接）