Mathematical Intuitionism: Introduction to Proof Theory PG5S3GMEXR
| URI | m2://res/PG5S3GMEXR |
|---|---|
| Kind | monograph |
| Creators | A. Dragalin |
| Date | 1988-12-31 |
| Scope | in |
Expressions
e1: edition
| Date | 1988-12-31 |
|---|---|
| Ids | DOI 10.1090/mmono/067 |
- m1: print, American Mathematical Society, 1988-12-31. isbn 9780821845202, isbn 9780821898161, isbn 9781470444815
Relations
Catalogue records
- ams-series: 10.1090/mmono/067 (work)