Girard, J. (1989). Proofs and types. Cambridge University Press.
Chicago Edition CitationGirard, Jean-Yves. Proofs and Types. Cambridge [England] ; New York: Cambridge University Press, 1989.
Deismireacht MLAGirard, Jean-Yves. Proofs and Types. Cambridge University Press, 1989.
Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.