BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@incollection{TUW-270741,
    author = {Kuznets, Roman},
    title = {Through an Inference Rule, Darkly},
    booktitle = {Mathesis Universalis, Computability and Proof},
    year = {2019},
    editor = {Centrone, Stefania and Negri, Sara and Sarikaya, Deniz and Schuster, Peter},
    pages = {131--158},
    publisher = {Springer International Publishing},
    address = {Cham},
    url = {https://publik.tuwien.ac.at/files/publik_270741.pdf},
    isbn = {978-3-030-20446-4},
    doi = {10.1007/978-3-030-20447-1{\_}10}
}


1 Datensatz ausgegeben