A circular version of Gödel's T and its abstraction complexity

Research output: Working paper/PreprintPreprint

13 Downloads (Pure)

Fingerprint

Dive into the research topics of 'A circular version of Gödel's T and its abstraction complexity'. Together they form a unique fingerprint.

Mathematics