1章 基本的概念 2章 数学的予備知識 3章 構文 4章 意味論-主な手法の紹介 5章 ラムダ計算式 6章 表示意味論-基礎 7章 表示意味論-言語機能 8章 再帰の数学 9章 公理意味論 10章 意味的定義の一貫性
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.