プルーフ理論

【ぷるーふりろん】

プルーフ理論

读成： ぷるーふりろん
中文： 证明理论、验证理论、证明论、证蜜