@article{Prawitz,
  title        = {{Natural deduction. A proof-theoretical study.}},
  author       = {Dag Prawitz},
  year         = 1967,
  month        = aug,
  journal      = {{Journal of Symbolic Logic}},
  publisher    = {Cambridge University Press ({CUP})},
  volume       = 32,
  number       = 2,
  pages        = {255--256},
  doi          = {10.2307/2271676},
  url          = {https://doi.org/10.2307/2271676},
}

{"_id":"gqzdsSTY534HJN4LX","bibbaseid":"prawitz-naturaldeductionaprooftheoreticalstudy-1967","author_short":["Prawitz, D."],"bibdata":{"bibtype":"article","type":"article","title":"Natural deduction. A proof-theoretical study.","author":[{"firstnames":["Dag"],"propositions":[],"lastnames":["Prawitz"],"suffixes":[]}],"year":"1967","month":"August","journal":"Journal of Symbolic Logic","publisher":"Cambridge University Press (CUP)","volume":"32","number":"2","pages":"255–256","doi":"10.2307/2271676","url":"https://doi.org/10.2307/2271676","bibtex":"@article{Prawitz,\n title = {{Natural deduction. A proof-theoretical study.}},\n author = {Dag Prawitz},\n year = 1967,\n month = aug,\n journal = {{Journal of Symbolic Logic}},\n publisher = {Cambridge University Press ({CUP})},\n volume = 32,\n number = 2,\n pages = {255--256},\n doi = {10.2307/2271676},\n url = {https://doi.org/10.2307/2271676},\n}\n\n","author_short":["Prawitz, D."],"key":"Prawitz","id":"Prawitz","bibbaseid":"prawitz-naturaldeductionaprooftheoreticalstudy-1967","role":"author","urls":{"Paper":"https://doi.org/10.2307/2271676"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/f/Gnwbc34Hkr4ELKWdc/ref.bib","dataSources":["CC7dawDvD4eaYGJSr"],"keywords":[],"search_terms":["natural","deduction","proof","theoretical","study","prawitz"],"title":"Natural deduction. A proof-theoretical study.","year":1967}