ヘッダーの画像を拡大しました。オルガノンクラス内「論理学からはじめる数学講座」の資料の参考文献の一部です。何の本だかわかりますか？わかった人はシェアにて回答ください!!

ヘッダーを描き下ろしてくださったNague Greさんに新しいリターン (1000円相当) のステッカーのデザインをお願いしたところ、さっと目の前で描いていただいた原案です。素敵ですね。Nagueさんは現在、数学や技術系の同人誌の表紙や挿絵をかけたらと、かっこいい数式やその書体を模索中だそうで、以下のラムダ項を提案させていただきました。正体がわかった方はシェアとともに答えをどうぞ!!λmn.m(lfm.f(mf(lfx.fx)))(lmfx.f(mfx))n