Mathematical Sciences Classification System
13Lxx - Applications of logic to commutative algebra
[See also 03Cxx, 03Hxx]
-
13L05
-
13L99None of the above, but in this section