共 4 条
[1]
Fitting M., 1969, INTUITIONISTIC LOGIC
[3]
Goldblatt R., 1979, TOPOI CATEGORIAL ANA, V98
[4]
Rasiowa H., 1968, MATH METAMATHEMATICS