The Strong Completeness of tableau method / Gustavo Fernández Díez
Material type:
ArticleLanguage: English Subject(s): Completud Fuerte-Prueba de Henkin
In:
Contextos nº. 31-32, 1998, págs. 297-306
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Artículos de revista
|
San Esteban Depósito de revistas | Available |