Things That Can and Things That Cannot Be Done in PRA - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Ulrich Kohlenbach. Things That Can and Things That Cannot Be Done in PRA. Annals of Pure and Applied Logic, 102(3):223-245, 2000.

@article{Kohlenbach00:0,
  title = {Things That Can and Things That Cannot Be Done in PRA},
  author = {Ulrich Kohlenbach},
  year = {2000},
  researchr = {https://researchr.org/publication/Kohlenbach00%3A0},
  cites = {0},
  citedby = {0},
  journal = {Annals of Pure and Applied Logic},
  volume = {102},
  number = {3},
  pages = {223-245},
}

runs on WebDSL