@incollection{Kleene_2008,
    doi = {10.1007/978-0-8176-4769-8_11},
    url = {https://doi.org/10.1007%2F978-0-8176-4769-8_11},
    year = {2008},
    publisher = {Birkhäuser Boston},
    pages = {161--168},
    author = {Stephen C. Kleene},
    title = {The Writing of Introduction to Metamathematics},
    booktitle = {Perspectives on the History of Mathematical Logic}
}

@incollection{Kleene_2008, doi = {10.1007/978-0-8176-4769-8_11}, url = {https://doi.org/10.1007%2F978-0-8176-4769-8_11}, year = {2008}, publisher = {Birkhäuser Boston}, pages = {161--168}, author = {Stephen C. Kleene}, title = {The Writing of Introduction to Metamathematics}, booktitle = {Perspectives on the History of Mathematical Logic} }