Canonical Finite Diagrams and Quantifier Elimination

• Autores: Tapani Hyttinen
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Nº 48, 2002, págs. 533-554
• Idioma: inglés
• Texto completo no disponible (Saber más ...)