Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory.

Yannick Forster, Dominik Kirst, Dominik Wehr

Browse the full LFCS paper archive.