Proof Theory. Workshop held at Unilog’2018 in Vichy

Conference Paper

René Gazzari

Publication

Year of publication: 2018

Identifiers

Locators

URL: https://doi.org/10.15496/publikation-25225

DOI: http://dx.doi.org/10.15496/publikation-25225

Alternative Titles