Undecidability of Some Topological Theories

Andrzej Grzegorczyk

Fundamenta Mathematicae · 1951 · 109 citations · 0 references

DOIFull text

Open access

Concepts