PERS - System Informacji o Pracownikach

@InCollection{Goranko:2020,
author = "V.Goranko and G.Pulcini and T.Skura",
title = "Refutation Systems: An Overview and Some Applications to Philosophical Logics",
pages = "173--197",
year = "2020",
booktitle = "Knowledge, Proof and DynamicsThe Fourth Asian Workshop on Philosophical Logic ISBN: 9789811522215",
editor = "ed. by Fenrong Liu, Hiroakira Ono, Junhua Yu",
publisher = "Springer Nature",
address = "Singapore",
series = "Logic in Asia: Studia Logica Library",
}