On the proof-theoretic foundation of general definition theory

Lars Hallnäs

pp. 589-602


This document is unfortunately not available for download at the moment.

Not implemented yet !