数学基礎論の強力な手段であると共に、電子回路などへの工学的応用、近年の機械学習理論への適用においても重要性が認識されている数理論理学を、最も基本的なところから解説。
ユーザーページを閲覧するにはFacebook認証が必要です。
一度でもログインしたことがあれば、自動的にログインをした後、ユーザページにアクセスできますが、初めての場合はFacebook認証の確認画面が表示され、了解を得たのちにアクセスできます。