Login
Document type:
Zeitschriftenartikel / Journal Article
Title:
On the Uniform Computational Content of the Baire Category Theorem
Journal:
Notre Dame Journal of Formal Logic
Volume:
59
Issue:
4
Year:
2018
Pages from - to:
605-636
Language:
Englisch
ISSN:
0029-4527 ; 1939-0726
Department:
Fakultät für Informatik
Institute:
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research
Chair:
Brattka, Vasco
Open Access yes or no?:
Nein / No
BibTeX