Catégories
> 12-XX Field theory and polynomials > 12LXX Connections with logic
 12L05 Decidability | 12L10 Ultraproducts | 12L12 Model theory |
| 12L15 Nonstandard arithmetic | 12L99 None of the above, but in this section |
12LXX Connections with logic
catégorie vide
