Proof Theory MCPVRZWXW4
| URI | m2://res/MCPVRZWXW4 |
|---|---|
| Kind | monograph |
| Creators | Wolfram Pohlers |
| Date | 1989 |
| MSC | 03F05, 03-01, 03F15, 03-02 |
| Scope | in |
Expressions
e1: edition
| Language | en |
|---|---|
| Date | 1989 |
| Ids | DOI 10.1007/978-3-540-46825-7, zbl 0695.03024, zbl_id 195069 |
- m1: print, Springer Berlin Heidelberg, 1989 (record). isbn 9783540518426, isbn 9783540468257
Relations
- part_of Lecture Notes in Mathematics
Cited by
Catalogue records
- springer-series: 10.1007/978-3-540-46825-7 (work)
- zbmath_search: 195069 (work)