e-Article
Dual counterpart intuitionistic logic
Document Type
Article
Author
Source
In: Journal of Logic and Computation . (Journal of Logic and Computation, 1 April 2024, 34(3):590-634)
Subject
Language
English
ISSN
1465363X
0955792X
0955792X