A very strong intuitionistic theory
β
Sergio Bernini
π
Article
π
1976
π
Springer Netherlands
π
English
β 454 KB