APA (7 वां संस्करण) प्रशस्ति पत्र
Granstrm, J. G. (2011). Treatise on Intuitionistic Type Theory. Springer Netherlands. https://doi.org/10.1007/978-94-007-1736-7
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र
Granstrm, Johan Georg. Treatise on Intuitionistic Type Theory. Dordrecht: Springer Netherlands, 2011. https://doi.org/10.1007/978-94-007-1736-7.
एमएलए (9वां संस्करण) प्रशस्ति पत्र
Granstrm, Johan Georg. Treatise on Intuitionistic Type Theory. Springer Netherlands, 2011. https://doi.org/10.1007/978-94-007-1736-7.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.