Your search returned 6 results.

1.
No cover image available
The strong completeness of the tableau method / Gustavo Fernández Díez

by Fernández Díez, Gustavo.

Source: Contextos V.16, nº31-32,1998,págs. 297-308 Material type: Article Article; Format: print Language: Spanish Availability: Items available for loan: (1).
2.
No cover image available
The Strong Completeness of tableau method / Gustavo Fernández Díez

by Fernández Díez, Gustavo.

Source: Contextos nº. 31-32, 1998, págs. 297-306Material type: Article Article; Format: print Language: English Availability: Items available for loan: (1).
3.
No cover image available
Kolmogorov, Heyting and Gentzen on the Intuitionistic Logical Constants / Gustavo Fernández Díez

by Fernández Díez, Gustavo.

Source: Critica (Revista Hispano Americana de Filosofia) vol. 32, nº. 96, 2000, págs. 43-58Material type: Article Article; Format: print Language: English Availability: Items available for loan: (1).
4.
No cover image available
El concepto intuicionista de prueba canónica / Gustavo Fernández Díez

by Fernández Díez, Gustavo.

Source: Agora (Papeles de Filosofia) vol. 18, nº. 2, 2000, págs. 117-129Material type: Article Article; Format: print Language: Spanish Availability: Items available for loan: (1).
5.
No cover image available
El análisis lógico de la predicación colectiva / Gustavo Fernández Díez

by Fernández Díez, Gustavo.

Source: Critica (Revista Hispano Americana de Filosofia) vol. 38, nº. 114, 2006, págs. 21-44Material type: Article Article; Format: print Language: Spanish Availability: Items available for loan: (1).
6.
No cover image available
El legado de Popper y la filosofía analítica / Gustavo Fernández Díez

by Fernández Díez, Gustavo.

Source: Daymon nº. 22, 2001, págs. 143-148Material type: Article Article; Format: print Language: Spanish Availability: Items available for loan: (1).

Bibliotecas Dominicos Provincia Hispania, 2016

Con tecnología Koha