The Computational Content of Arithmetical Proofs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Stefan Hetzl. The Computational Content of Arithmetical Proofs. Notre Dame Journal of Formal Logic, 53(3):289-296, 2012. [doi]

@article{Hetzl12,
  title = {The Computational Content of Arithmetical Proofs},
  author = {Stefan Hetzl},
  year = {2012},
  url = {http://projecteuclid.org/euclid.ndjfl/1348524113},
  researchr = {https://researchr.org/publication/Hetzl12},
  cites = {0},
  citedby = {0},
  journal = {Notre Dame Journal of Formal Logic},
  volume = {53},
  number = {3},
  pages = {289-296},
}

runs on WebDSL