On the proof-theoretic foundation of general definition theory

From MaRDI portal
Publication:2500816