Methods of Cut-Elimination [e-books]
- 種類:
- 電子ブック
- 責任表示:
- by Alexander Leitsch, Matthias Baaz
- 出版情報:
- Dordrecht : Springer Science+Business Media B.V., 2011
- 著者名:
- シリーズ名:
- Trends in Logic ; 34
- ISBN:
- 9789400703209 [9400703201]
- ローカル注記:
- 岐阜大学構成員専用E-BOOKS (Gifu University members only)
類似資料:
|
Springer Science+Business Media B.V. |
Springer Netherlands |
|
Springer Science+Business Media, Inc. |
Springer-Verlag |
|
Birkhäuser Verlag | |
|
Springer-Verlag Berlin Heidelberg |
Springer Milan |
|
Birkhäuser Verlag AG |
Springer Milan |
|
Springer Science+Business Media, Inc. |
Springer New York : Imprint: Springer |
