Skip to content

A Criterion of Undecidability of Algorithmic Theories.

Wiktor Danko

VenueBMFCS
Year1980
ProceedingsMFCS

Browse the full MFCS paper archive.