Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

GPTKB entity