APA Цитирование

Girard, J. (1989). Proofs and types. Cambridge University Press.

Chicago-стиль цитирования

Girard, Jean-Yves. Proofs and Types. Cambridge [England] ; New York: Cambridge University Press, 1989.

MLA-цитирование

Girard, Jean-Yves. Proofs and Types. Cambridge University Press, 1989.

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.