Foundations of constructive mathematics /
41
| Main Author: | |
|---|---|
| Format: | |
| Published: |
Berlin : Springer-Verlag,
1985
|
| Subjects: |
| _version_ | 1796660631048290304 |
|---|---|
| author | 418952 Beeson, Michael J. |
| author_facet | 418952 Beeson, Michael J. |
| author_sort | 418952 Beeson, Michael J. |
| collection | OCEAN |
| description | 41 |
| first_indexed | 2024-03-04T16:20:53Z |
| format | |
| id | KOHA-OAI-TEST:77373 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T16:20:53Z |
| publishDate | 1985 |
| publisher | Berlin : Springer-Verlag, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:773732020-12-19T17:00:23ZFoundations of constructive mathematics / 418952 Beeson, Michael J. Berlin : Springer-Verlag,198541PSZJBLConstructive mathematicsURN:ISBN:3540121730 |
| spellingShingle | Constructive mathematics 418952 Beeson, Michael J. Foundations of constructive mathematics / |
| title | Foundations of constructive mathematics / |
| title_full | Foundations of constructive mathematics / |
| title_fullStr | Foundations of constructive mathematics / |
| title_full_unstemmed | Foundations of constructive mathematics / |
| title_short | Foundations of constructive mathematics / |
| title_sort | foundations of constructive mathematics |
| topic | Constructive mathematics |
| work_keys_str_mv | AT 418952beesonmichaelj foundationsofconstructivemathematics |