1変数関数の参照文献

1変数関数の属性と諸類型の参照文献に、
本橋信義『新しい論理序説』追加。