Topos Semantics for Higher-Order Modal Logic

Steve Awodey, Kohei Kishida, Hans-Christoph Kotzsch

Abstract


without abstract

Refbacks

  • There are currently no refbacks.