Granstrm, J. G. (2011). Treatise on Intuitionistic Type Theory. Springer Netherlands. https://doi.org/10.1007/978-94-007-1736-7
Cóipeáladh chuig an ngearrthaisce go rathúil é
Níorbh fhéidir cóipeáil chuig an ngearrthaisce
Lua i Stíl Chicago (17ú heag.)
Granstrm, Johan Georg. Treatise on Intuitionistic Type Theory. Dordrecht: Springer Netherlands, 2011. https://doi.org/10.1007/978-94-007-1736-7.
Cóipeáladh chuig an ngearrthaisce go rathúil é
Níorbh fhéidir cóipeáil chuig an ngearrthaisce
Lua MLA (9ú heag.)
Granstrm, Johan Georg. Treatise on Intuitionistic Type Theory. Springer Netherlands, 2011. https://doi.org/10.1007/978-94-007-1736-7.
Cóipeáladh chuig an ngearrthaisce go rathúil é
Níorbh fhéidir cóipeáil chuig an ngearrthaisce
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.