Proof Theory : The First Step into Impredicativity [e-books]
- 種類:
- 電子ブック
- 責任表示:
- by Wolfram Pohlers
- 出版情報:
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
- 著者名:
- シリーズ名:
- Universitext ;
- ISBN:
- 9783540693192 [354069319X]
- ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer-Verlag Berlin Heidelberg |
|
Springer Science+Business Media, LLC |
Springer Science+Business Media, Inc. |
|
Springer Netherlands |
Birkhäuser Boston |
|
Springer Berlin Heidelberg |
Birkhäuser Verlag |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Science+Business Media, LLC |
|
Birkhäuser Boston |
Birkhäuser Verlag AG |
