Biblioteca San Esteban Salamanca catalog

Normal view MARC view ISBD view

Fernández Díez, Gustavo

The Strong Completeness of tableau method / Gustavo Fernández Díez

Materias-Término de materia:
Completud Fuerte-Prueba de Henkin

Print
Suggest for purchase
More searches

Search for this title in:
Otras bibliotecas (WorldCat) Otras bases de datos (Google Scholar) Tiendas Online (Bookfinder.com) Open Library (openlibrary.org)