A Completeness Proof for Geometrical Logic
Journal article, 2005
Author
Thierry Coquand
University of Gothenburg
Logic, Methodology and Philosophy of Sciences. Preceedings of the Twelfth International Congress. Hajek, Valdes-Villuaneva, Westerstahl, editors
79-90
Subject Categories
Algebra and Logic