Tietueen sitaatit
APA-viite (7. p.)
Granstrm, J. G. (2011). Treatise on Intuitionistic Type Theory. Springer Netherlands. https://doi.org/10.1007/978-94-007-1736-7
Kopioitu leikepöydälle
Kopiointi leikepöydälle epäonnistui
Chicago-viite (17. p.)
Granstrm, Johan Georg. Treatise on Intuitionistic Type Theory. Dordrecht: Springer Netherlands, 2011. https://doi.org/10.1007/978-94-007-1736-7.
Kopioitu leikepöydälle
Kopiointi leikepöydälle epäonnistui
MLA-viite (9. p.)
Granstrm, Johan Georg. Treatise on Intuitionistic Type Theory. Springer Netherlands, 2011. https://doi.org/10.1007/978-94-007-1736-7.
Kopioitu leikepöydälle
Kopiointi leikepöydälle epäonnistui
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.