ebrary, Inc, Sambin, G., & Smith, J. M. (1998). Twenty-five years of constructive type theory: Proceedings of a congress held in Venice, October 1995. Clarendon Press ; Oxford University Press.
Հաջողությամբ պատճենվել է միջանկյալ հիշողություն
Պատճենումը միջանկյալ հիշողություն ձախողվեց
Չիկագոյի ոճի (17րդ խմբ.) մեջբերում
ebrary, Inc, Giovanni Sambin, and Jan M. Smith. Twenty-five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford : New York: Clarendon Press ; Oxford University Press, 1998.
Հաջողությամբ պատճենվել է միջանկյալ հիշողություն
Պատճենումը միջանկյալ հիշողություն ձախողվեց
MLA (9րդ խմբ.) Մեջբերում
ebrary, Inc, et al. Twenty-five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Clarendon Press ; Oxford University Press, 1998.
Հաջողությամբ պատճենվել է միջանկյալ հիշողություն
Պատճենումը միջանկյալ հիշողություն ձախողվեց
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.