LCSH | Unsolvability (Mathematical logic) |
Laval: | Non-résolubilité (Logique mathématique) |
CDU 510.6
CDU abreviada 510
Clasificación LC | QA9.63 |
LCSH | Unsolvability (Mathematical logic) |
Laval: | Non-résolubilité (Logique mathématique) |
Clasificación LC | QA9.63 |