@inproceedings{9811903cbd5246549f821bd643d30132,
title = "The method of hypersequents in the proof theory of propositional non-classical logics",
author = "Arnon Avron",
year = "1996",
language = "אנגלית",
isbn = "0198538626",
series = "Oxford Sci. Publ.",
publisher = "Oxford University Press",
pages = "1--32",
editor = "Hodges, { Wilfrid }",
booktitle = "Logic: From Foundations to Applications: European Logic Colloquium",
address = "בריטניה",
note = "Logic Colloquium '93 ; Conference date: 20-07-1993 Through 29-07-1993",
}