Catalog

Record Details

Catalog Search



Proof Theory [electronic resource] : The First Step into Impredicativity / by Wolfram Pohlers.

Electronic resources

Record details

  • ISBN: 9783540693192
  • Physical Description: online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Subject: Mathematics.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.

Additional Resources