@article{Engeler_1984,
    doi = {10.2307/2274112},
    url = {https://doi.org/10.2307%2F2274112},
    year = {1984},
    month = {mar},
    publisher = {Cambridge University Press ({CUP})},
    volume = {49},
    number = {1},
    pages = {301--303},
    author = {E. Engeler},
    title = {H. P. Barendregt. The lambda calculus. Its syntax and semantics},
    journal = {Journal of Symbolic Logic}
}

@article{Engeler_1984, doi = {10.2307/2274112}, url = {https://doi.org/10.2307%2F2274112}, year = {1984}, month = {mar}, publisher = {Cambridge University Press ({CUP})}, volume = {49}, number = {1}, pages = {301--303}, author = {E. Engeler}, title = {H. P. Barendregt. The lambda calculus. Its syntax and semantics}, journal = {Journal of Symbolic Logic} }