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
Vurdering:
Vær den første til at skrive en anmeldelse
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.