Periodic Reporting for period 1 - ExtenDD (Coming to Terms: Proof Theory Extended to Definite Descriptions and other Ter...
Project: ExtenDD
Updated at: 01-10-2025
Show more
information
Project acronym
ExtenDD