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

More information

Created

10/10/2017