Towards a pseudoequational proof theory

Preprint

Ond\v ima

Jorge Almeida

Publication

Year of publication: 2017

Identifiers

Locators

URL: http://arxiv.org/abs/1708.09681

Alternative Titles

Preprint

File