Title: Sheaves, games, and model completions
First published: 2002
Subjects: Model theory, Categories (Mathematics), Proposition (Logic), Logic, Science/Mathematics, Category Theory, Mathematical And Symbolic Logic, Mathematics, Artificial Intelligence - General, Philosophy / Logic, Functional Analysis, Geometry - Algebraic, Categories (mathematics)
LC classification: QA169 .G47 2002