On the proof-theoretic foundation of general definition theory
Vol. 148/3
Lars Hallnäs
Volume
Title
Author