@article{accepting,
    Author = {Bauer, Andrej},
    File = {FIVE STAGES OF ACCEPTING CONSTRUCTIVE MATHEMATICS - S0273-0979-2016-01556-4 - a - a - a - j.pdf},
    Journal = {Bull. Amer. Math. Soc.},
    Pages = {481--498},
    Title = {Five stages of accepting constructive mathematics},
    Volume = {54},
    Year = {2017},
    date-added = {2020-03-10 11:48:26 +0100},
    date-modified = {2020-03-10 11:49:26 +0100},
    doi = {10.1090/bull/1556}
}

@article{accepting, Author = {Bauer, Andrej}, File = {FIVE STAGES OF ACCEPTING CONSTRUCTIVE MATHEMATICS - S0273-0979-2016-01556-4 - a - a - a - j.pdf}, Journal = {Bull. Amer. Math. Soc.}, Pages = {481--498}, Title = {Five stages of accepting constructive mathematics}, Volume = {54}, Year = {2017}, date-added = {2020-03-10 11:48:26 +0100}, date-modified = {2020-03-10 11:49:26 +0100}, doi = {10.1090/bull/1556} }