非標準算術フレームワーク
本はありません。