Proof-theoretic contributions to explicit mathematics

@inproceedings{Strahm2001ProoftheoreticCT,
  title={Proof-theoretic contributions to explicit mathematics},
  author={Habilitationsschrift Thomas Strahm},
  year={2001}
}
  • Habilitationsschrift Thomas Strahm
  • Published 2001

Topic