학술논문
Intuitionistic fixed point logic
Document Type
Article
Author
Source
In: Annals of Pure and Applied Logic . (Annals of Pure and Applied Logic, March 2021, 172(3))
Subject
Language
English
ISSN
01680072