A Routley-Meyer semantics for converse Ackermann Property
ISSN: 0022-3611, 1573-0433
Année de publication: 1987
Volumen: 16
Número: 1
Pages: 65-76
Type: Article
ISSN: 0022-3611, 1573-0433
Année de publication: 1987
Volumen: 16
Número: 1
Pages: 65-76
Type: Article