Constructive mathematics - its set theory and practice
<p>The thesis falls naturally into two parts, in the first of which (comprising Chapter 1) there is laid down a set-theoretic foundation for constructive mathematics as understood by Errett Bishop and his followers. The work of this part closely follows the lines of the corresponding classical...
| Հիմնական հեղինակներ: | , |
|---|---|
| Ձևաչափ: | Թեզիս |
| Լեզու: | English |
| Հրապարակվել է: |
1974
|