"Reduction of higher type levels by means of an ordinal analysis of finite ..."

Jan Terlouw (1985)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics