Login
Document type:
Vortrag / Presentation
Title:
The discontinuity problem
Subtitle:
(invited talk)
Title of conference publication:
Mathematical Logic: Proof Theory, Constructive Mathematics
Subtitle of conference publication:
(hybrid meeting)
Conference title:
Mathematical Logic: Proof Theory, Constructive Mathematics (2020, Virtuell)
Venue:
Virtuell
Year of conference:
2020
Date of conference beginning:
08.11.2020
Date of conference ending:
14.11.2020
Year:
2020
Pages from - to:
1699-1700
Language:
Englisch
DOI:
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
Presentation at:
Workshop - Mathematical Logic: Proof Theory, Constructive Mathematics, Mathematisches Forschungsinstitut Oberwolfach
Miscellaneous:
Der Konferenzband enthält nur das Abstract
BibTeX