Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Bog, Hardback, Engelsk)


Forlag: Springer-Verlag New York Inc.
Format: Hardback
Type: Bog
Sprog: Engelsk
ISBN-13: 9781402006609
Udgave: 2002 ed.
Udgivelsesdato: 01-07-2002
Første udgivelsesår: 2002
Serie: Trends in Logic
Illustrationer: IX, 245 p.
Originalsprog: United States
Sideantal: 245
Indbinding: Hardback
Forlag: Springer-Verlag New York Inc.
Sideoplysninger: 245 pages, IX, 245 p.
Mål: 235 x 155

Status : Mangler pt.

Produktet kan ikke bestilles.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Tilføj til bogliste

KATEGORIER M.M. SOM DETTE PRODUKT ER EN DEL AF

  = Emner
  = Sektioner
  = Kategorier
  = Kampagner

Beskrivelse

This book is an example of fruitful interaction between (non-classical) propo sitionallogics and (classical) model theory which was made possible due to categorical logic.

Anmeldelser (0)