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

@book{TUW-279933,
    author = {Kuznets, Roman and Studer, Thomas},
    title = {Logics of Proofs and Justifications},
    publisher = {College Publications},
    year = {2019},
    address = {London},
    numpages = {246},
    isbn = {978-1-84890-168-1},
    keywords = {Logic of Proofs, Justification Logic}
}


1 Datensatz ausgegeben