Varieties of constructive mathematics.
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Cambridge :
Cambridge,
1988
|
| Σειρά: | London mathematical society lecture note series ;
97 |
| Θέματα: |