Proof Theory : The First Step into Impredicativity
by Wolfram Pohlers Paperback 2008
- Author: Wolfram Pohlers
- ISBN 13: 9783540693185
- ISBN 10: 3540693181
- Publication Year: 2008
- Language: English
Specifications
| Index-10 | 3540693181 |
|---|---|
| Index-13 | 9783540693185 |
| Language | English |