http://www.almaden.ibm.com/cs/people/fagin/tcs93.pdf title: Finite-model theory - a personal perspective 著者はRonald Fagin 30ページ

http://d.hatena.ne.jp/m-hiyama-memo/20051226/1135592087に関連、一般化された帰納構造、帰納関数に関する参考： http://citeseer.ist.psu.edu/barthe03typebased.html 44P 長め http://citeseer.ist.psu.edu/gimenez98structural.html 14P http://citesee…