『構成的プログラミングの基礎』
https://gyazo.com/0ed1185024d0358eaeb6042bea7e2e96
1991/4/1
どんな内容の本なのか気になる方もいると思うので目次も載せておきます！
https://gyazo.com/a6c8b6cbaa82e0785270774a5d2b6c13https://gyazo.com/965c7ff881814dee43a9a4fff1a958dfhttps://gyazo.com/1fb3457567454d1b09742fe1242fb1fbhttps://gyazo.com/3ea349aac3c602ee82a7fd5bc290f944
このツイートの影響か、中古が倍の価格になってた
https://gyazo.com/9a199c00549ce40c890589035ff60b52
数学的プログラミング言語
Ｆｅｆｅｒｍａｎの理論（形式的理論；意味論と応用）
Ａｃｚｅｌの理論
証明の理論