A schematic axiom for open congruence
β
Yuxi Fu
π
Article
π
2005
π
Science in China Press (SCP)
π
English
β 172 KB