A Logical Approach to Abstract Algebra.
Artikel i vetenskaplig tidskrift, 2005

Författare

Thierry Coquand

Göteborgs universitet

CiE2005

86-95

Ämneskategorier

Algebra och logik

Datavetenskap (datalogi)

Mer information

Skapat

2017-10-10