Mostrar el registro sencillo del ítem
Mathematical structures within simple type theory
| dc.contributor.author | González Castillo, Samuel | |
| dc.date.accessioned | 2025-03-14T08:51:54Z | |
| dc.date.available | 2025-03-14T08:51:54Z | |
| dc.date.issued | 2024 | |
| dc.identifier.citation | Studia Logica (2024); doi:10.1007/s11225-024-10133-1 | |
| dc.identifier.issn | 0039-3215 | |
| dc.identifier.uri | https://hdl.handle.net/10651/77724 | |
| dc.description.sponsorship | CRUE-CSIC; Springer Nature | |
| dc.language.iso | eng | |
| dc.relation.ispartof | Studia Logica | |
| dc.rights | ©, | |
| dc.source | Scopus | |
| dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85199257083&doi=10.1007%2fs11225-024-10133-1&partnerID=40&md5=5b3e29bf325ef5290d7ae8195ae1ef10 | |
| dc.title | Mathematical structures within simple type theory | |
| dc.type | journal article | |
| dc.identifier.doi | 10.1007/s11225-024-10133-1 | |
| dc.relation.publisherversion | http://dx.doi.org/10.1007/s11225-024-10133-1 |
Ficheros en el ítem
| Ficheros | Tamaño | Formato | Ver |
|---|---|---|---|
|
No hay ficheros asociados a este ítem. |
|||
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Artículos [37353]