Ver Publicación - Prisma - Unidad de Bibliometría

On axiom schemes for T-provably formulas

Cordón-Franco, A. ; Fernández-Margarit, A.; Lara-Martín, F. F.

Tipo: Artículo
Año de Publicación: 2014
Volumen: 53
Número: 3-4
Páginas: 327 - 349
Acceso abierto: Vía verde
Fuente Nº Citas Fecha Actualización
scopus213-11-2024
wos213-11-2024
Dimensions
PlumX
Altmetric

Año: 2014

Journal Impact Factor (JIF): 0.320

CategoríaEdiciónPosiciónCuartilTercilDecil
LOGICSCIE17/21Q4T3D8
MATHEMATICSSCIE279/312Q4T3D9

Año: 2017

Journal Citation Indicator (JCI): 0,700

CategoríaPosiciónCuartilTercilDecilPercentil
LOGIC16/25Q3T2D738,00
MATHEMATICS236/462Q3T2D649,03

Año:

2014

CiteScore:

0,600

CategoríaPosiciónCuartilTercilDecil
Philosophy135/423Q2T1D4
Logic19/23Q4T3D9

SJR año:

2014

Factor de Impacto:

0,403

CategoríaPosiciónCuartilTercilDecil
Philosophy83/554Q1T1D2
Logic19/26Q4T3D8
No existen datos para la revista de esta publicación.
Agencia Código de Proyecto
FEDER funds (EU)-
Ministerio de Ciencia e Innovacion, SpainMTM2008-06435
Nota: los datos sobre financiación provienen de la WOS
# Autor Afiliación
1Cordón-Franco, A. Universidad de Sevilla (Spain)
2Fernández-Margarit, A.Universidad de Sevilla (Spain)
3Lara-Martín, F. F.Universidad de Sevilla (Spain)