Lex

Browse

GenresShelvesPremiumBlog

Company

AboutJobsPartnersSell on LexAffiliates

Resources

DocsInvite FriendsFAQ

Legal

Terms of ServicePrivacy Policygeneral@lex-books.com(215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Sheaves, games, and model completionsSheaves, games, and model completions

Sheaves, games, and model completions2002

M. Zawadowski, S. Ghilardi, Silvio Ghilardi

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)

Find this book

Open Library
Book data from Open Library. Cover images courtesy of Open Library.