Repository | Directory | Profile
On the proof-theoretic foundation of general definition theory
2006
Lars Hallnäs
Synthese 148/3
