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