1. Project
  2. ExtenDD
  3. Organisations

Coming to Terms: Proof Theory Extended to Definite Descriptions and other Terms

Full project page

Organisations map overview


Powered by Chris Decubber BV