generated at
『構成的プログラミングの基礎』

1991/4/1
林晋 著
小林聡 著



>どんな内容の本なのか気になる方もいると思うので目次も載せておきます！
> ref
>
このツイートの影響か、中古が倍の価格になってた




数学的プログラミング言語
プログラムの検証と構成的数学
Ｆｅｆｅｒｍａｎの理論（形式的理論；意味論と応用）
Solomon Feferman
Ａｃｚｅｌの理論
Aczel
証明の理論