Granstrm, J. G. (2011). Treatise on Intuitionistic Type Theory. Springer Netherlands. https://doi.org/10.1007/978-94-007-1736-7
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita Chicago Style (17a ed.)
Granstrm, Johan Georg. Treatise on Intuitionistic Type Theory. Dordrecht: Springer Netherlands, 2011. https://doi.org/10.1007/978-94-007-1736-7.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita MLA (9a ed.)
Granstrm, Johan Georg. Treatise on Intuitionistic Type Theory. Springer Netherlands, 2011. https://doi.org/10.1007/978-94-007-1736-7.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Precaución: Estas citas no son 100% exactas.