布什定理相关硕士博士期刊学术论文

图灵机和一阶逻辑追求完备性,企图用与外界隔绝的精确推理解决一切问题。布什自动机与二阶逻辑等价,是刻画程序的有用模型,它开启......