Granstrm, J. G. (2011). Treatise on Intuitionistic Type Theory. Springer Netherlands. https://doi.org/10.1007/978-94-007-1736-7
Skopiowano do schowka
Nie udało się skopiować do schowka
Cytowanie według stylu Chicago (wyd. 17)
Granstrm, Johan Georg. Treatise on Intuitionistic Type Theory. Dordrecht: Springer Netherlands, 2011. https://doi.org/10.1007/978-94-007-1736-7.
Skopiowano do schowka
Nie udało się skopiować do schowka
Cytowanie według stylu MLA (wyd. 9)
Granstrm, Johan Georg. Treatise on Intuitionistic Type Theory. Springer Netherlands, 2011. https://doi.org/10.1007/978-94-007-1736-7.
Skopiowano do schowka
Nie udało się skopiować do schowka
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..