論理理論機械
【ろんりりろんきかい】
【ronririronkikai】
逻辑理论机