@article{Kreisel_1970,
    doi = {10.2307/2270547},
    url = {https://doi.org/10.2307%2F2270547},
    year = {1970},
    month = {jun},
    publisher = {Cambridge University Press ({CUP})},
    volume = {35},
    number = {2},
    pages = {330--332},
    author = {G. Kreisel},
    title = {Saul A. Kripke. Semantical analysis of intuitionistic logic I. Formal systems and recursive functions},
    journal = {Journal of Symbolic Logic}
}

@article{Kreisel_1970, doi = {10.2307/2270547}, url = {https://doi.org/10.2307%2F2270547}, year = {1970}, month = {jun}, publisher = {Cambridge University Press ({CUP})}, volume = {35}, number = {2}, pages = {330--332}, author = {G. Kreisel}, title = {Saul A. Kripke. Semantical analysis of intuitionistic logic I. Formal systems and recursive functions}, journal = {Journal of Symbolic Logic} }