A Completeness Proof for Geometrical Logic
Artikel i vetenskaplig tidskrift, 2005

Författare

Thierry Coquand

Göteborgs universitet

Logic, Methodology and Philosophy of Sciences. Preceedings of the Twelfth International Congress. Hajek, Valdes-Villuaneva, Westerstahl, editors

79-90

Ämneskategorier

Algebra och logik