逻辑推理机

逻辑推理机

拼音： luó jí tuī lǐ jī
日本語訳 論理理論マシン