考え方の基礎である集合・関数からモンタギュー意味論、ダイナミック意味論までを幅広く解説。記号一覧や対訳用語表など、初学者に有益な情報を掲載。授業の教科書として、また自習にも。