Arnold Beckmann
Diplomarbeit / MSc thesis, University of Münster
Publication year: 1992

This master thesis gives a detailed workout of Takeuti’s article A Second Order Version of S^i_2 and U^1_2 including some improvements.

Leave a Reply

Your email address will not be published. Required fields are marked *