Proof Theory The First Step into Impredicativity
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. |