Normal view
MARC view
- Completud Fuerte-Prueba de Henkin
Completud Fuerte-Prueba de Henkin (TÉRMINO TEMÁTICO)
Machine generated authority record.
Work cat.: (ES-SlBCS)510298: Fernández Díez, Gustavo 67981, The Strong Completeness of tableau method