数学基礎論の強力な手段であると共に、電子回路などへの工学的応用、近年の機械学習理論への適用においても重要性が認識されている数理論理学を、最も基本的なところから解説。
Faceboo auth is required to view user page.
If you have logged in since, it's automatically executed. If first time, Facebook auth login page will be shown, after your authorization, you can access user page.
