E-book
Proof Theory [electronic resource] : The First Step into Impredicativity / by Wolfram Pohlers.
Record details
- ISBN: 9783540693192
- Physical Description: online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Search for related items by subject
| Subject: | Mathematics. Logic, Symbolic and mathematical. Mathematics. Mathematical Logic and Foundations. |
