@book { UndveloppementdessystmeslogiquesdeStanislawLesniewski,
    title = "Un développement des systèmes logiques de Stanislaw Lesniewski",
    author = "Denis {Miéville}",
    year = "2021",
    publisher = "Peter Lang Verlag",
    address = "Lausanne, Switzerland",
    url = "https://www.peterlang.com/document/1070870"
}