A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3 DH
- Robles, G.
- Méndez, J.M.
ISSN: 1572-9583, 0925-8531
Datum der Publikation: 2021
Ausgabe: 30
Nummer: 1
Seiten: 117-138
Art: Artikel
ISSN: 1572-9583, 0925-8531
Datum der Publikation: 2021
Ausgabe: 30
Nummer: 1
Seiten: 117-138
Art: Artikel