عنوان
پدید آورنده
موضوع
رده
QA 169 .G474S5
QA
169
.
G474S5
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Dordrecht
Name of Publisher, Distributor, etc.
Kluwer Academic Publishers
Date of Publication, Distribution, etc.
c2002
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
ix, 243 p.: ill
SERIES
Other Title Information
Trends in logic; v.41
GENERAL NOTES
Text of Note
Bibliography: p.233-236
Text of Note
ISBN: 1402006608
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Silvio Ghilardi, Marek Zawadowski
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Categories )Mathematics(
Entry Element
، Proposition )Logic(
Entry Element
، Model theory
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
169
.
G474S5
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Ghilardi, Silvio
Relator Code
AU
AU Zawadowski, Marek
TI
SE
