論理理論機械

【ろんりりろんきかい】

論理理論機械

读成： ろんりりろんきかい
中文： 逻辑理论机