ニュース

TIMOTHY J. CARLSON, GUNNAR WILKEN, NORMAL FORMS FOR ELEMENTARY PATTERNS, The Journal of Symbolic Logic, Vol. 77, No. 1 (MARCH 2012), pp. 174-194 ...