A logical approach to abstract algebra
Artikel i vetenskaplig tidskrift, 2006

Författare

Thierry Coquand

Göteborgs universitet

Henri Lombardi

Mathematical Structures in Computer Science

Vol. 16 885-900

Ämneskategorier

Annan matematik