Semantique de type Kripke d'un systeme logique base sur un ensemble fini

• Autores: A. Nour
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 46, Nº 3, 2000, págs. 417-432
• Idioma: inglés
• Texto completo no disponible (Saber más ...)