目次
1章 基本的概念
2章 数学的予備知識
3章 構文
4章 意味論―主な手法の紹介
5章 ラムダ計算式
6章 表示意味論―基礎
7章 表示意味論―言語機能
8章 再帰の数学
9章 公理意味論
10章 意味的定義の一貫性
1章 基本的概念
2章 数学的予備知識
3章 構文
4章 意味論―主な手法の紹介
5章 ラムダ計算式
6章 表示意味論―基礎
7章 表示意味論―言語機能
8章 再帰の数学
9章 公理意味論
10章 意味的定義の一貫性
東京都公安委員会 古物商許可番号 304366100901