Sheaves, games, and model completions

Sheaves, games, and model completions2002
Details
- First published
- 2002
- ISBN-13
- 9789401599368
- OL Work ID
- OL12711137W
Subjects
Model theoryCategories (Mathematics)Proposition (Logic)LogicScience/MathematicsCategory TheoryMathematical And Symbolic LogicMathematicsArtificial Intelligence - GeneralPhilosophy / LogicFunctional AnalysisGeometry - AlgebraicCategories (mathematics)