Sheaves, games, and model completions

a categorical approach to nonclassical propositional logics

  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Sheaves, games, and model completions
Silvio Ghilardi, S. Ghilardi, ...
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today

  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

Buy this book

Last edited by ImportBot
December 29, 2021 | History

Sheaves, games, and model completions

a categorical approach to nonclassical propositional logics

  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Language
English
Pages
243

Buy this book

Edition Availability
Cover of: Sheaves, Games, and Model Completions
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic)
July 31, 2002, Springer
Hardcover in English - 1 edition
Cover of: Sheaves, games, and model completions
Sheaves, games, and model completions: a categorical approach to nonclassical propositional logics
2002, Kluwer Academic Publishers
in English
Cover of: Sheaves, games, and model completions
Sheaves, games, and model completions: a categorical approach to nonclassical propositional logics
2002, Kluwer Academic Publishers
in English

Add another edition?

Book Details


Edition Notes

Includes bibliographical references (p. 233-236) and index.

Published in
Dordrecht, Boston
Series
Trends in logic -- v. 14

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA169 .G47 2002, B1-5802

The Physical Object

Pagination
ix, 243 p. ;
Number of pages
243

ID Numbers

Open Library
OL19289390M
ISBN 10
1402006608
LCCN
2002073164

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
December 29, 2021 Edited by ImportBot import existing book
July 31, 2019 Edited by MARC Bot associate edition with work OL12711137W
January 24, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page