Geometric Logic in Computer

  • ScienceSteve Vickerssjv
  • Published 1993
We present an introduction to geometric logic and the mathematical structures associated with it, such as categorical logic and toposes. We also describe some of its applications in computer science including its potential as a logic for spec-iication languages.