@article{Buss_2011,
    doi = {10.4171/owr/2011/52},
    url = {https://doi.org/10.4171%2Fowr%2F2011%2F52},
    year = {2011},
    publisher = {European Mathematical Society - {EMS} - Publishing House {GmbH}},
    volume = {8},
    number = {4},
    pages = {2963--3002},
    author = {Samuel Buss and Ulrich Kohlenbach and Michael Rathjen},
    title = {Mathematical Logic: Proof Theory, Constructive Mathematics},
    journal = {Oberwolfach Reports}
}

@article{Buss_2011, doi = {10.4171/owr/2011/52}, url = {https://doi.org/10.4171%2Fowr%2F2011%2F52}, year = {2011}, publisher = {European Mathematical Society - {EMS} - Publishing House {GmbH}}, volume = {8}, number = {4}, pages = {2963--3002}, author = {Samuel Buss and Ulrich Kohlenbach and Michael Rathjen}, title = {Mathematical Logic: Proof Theory, Constructive Mathematics}, journal = {Oberwolfach Reports} }