학술논문
Constructing the constructible universe constructively
Document Type
Article
Author
Source
In Annals of Pure and Applied Logic March 2024 175(3)
Subject
Language
ISSN
0168-0072