Repositorio
Cómo publicar
Recursos
FAQs

Mathematical structures within simple type theory

Autor(es) y otros:
González Castillo, SamuelAutoridad Uniovi
Fecha de publicación:
2024
Versión del editor:
http://dx.doi.org/10.1007/s11225-024-10133-1
Citación:
Studia Logica (2024); doi:10.1007/s11225-024-10133-1
URI:
https://hdl.handle.net/10651/77724
ISSN:
0039-3215
DOI:
10.1007/s11225-024-10133-1
Patrocinado por:

CRUE-CSIC; Springer Nature

Colecciones
Ficheros en el ítem
Métricas
Compartir
Estadísticas de uso
Estadísticas de uso
Metadatos
Mostrar el registro completo del ítem