S. Babenyshev
AuthID: R-006-DM2
1
TÃTULO: Deduction-detachment theorem in hidden k-logics
AUTORES: Sergey Babenyshev; Manuel A Martins ;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 1
AUTORES: Sergey Babenyshev; Manuel A Martins ;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 1
2
TÃTULO: Admissible equivalence systems
AUTORES: Babenyshev, S; Martins, MA ;
PUBLICAÇÃO: 2010, FONTE: Bulletin of the Section of Logic, VOLUME: 39, NÚMERO: 1-2
AUTORES: Babenyshev, S; Martins, MA ;
PUBLICAÇÃO: 2010, FONTE: Bulletin of the Section of Logic, VOLUME: 39, NÚMERO: 1-2
INDEXADO EM: 
Scopus
Scopus