학술논문
Complementary Proof Nets for Classical Logic
Document Type
Article
Author
Source
In: Logica Universalis . (Logica Universalis, December 2023, 17(4):411-432)
Subject
Language
English
ISSN
16618300
16618297
16618297