Perhaps the Intermediate Value Theorem
Дата
Авторы
Veldman,Wim
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
[Abstract removed due to formatting issues. You can find the abstract in the paper file.]
Ключевые слова
intuitionistic real analysis , intermediate value theorem , perhaps