数理論理学

合理的エージェントへの応用に向けて