Tools

LEADER 01636cam a22004574a 4500

001 ocm50164819;

003 OCoLC;

005 20141212163727.0;

008 020626s2002 ne a b 001 0 eng ;

010 a| 2002073164;

020 a| 1402006608 (alk. paper);

035 a| (Sirsi) o50164819;

035 a| (OCoLC)50164819;

042 a| pcc;

049 a| EREE;

050 00 a| QA169b| .G47 2002;

072 7 a| QA2| lcco;

082 00 a| 511.32| 21;

100 1 a| Ghilardi, Silvio.=| ^A523990;

245 10 a| Sheaves, games, and model completions :b| a categorial approach to nonclassical propositional logics /c| Silvio Ghilardi, Marek Zawadowski.;

300 a| ix, 243 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Trends in logic ;v| v. 14;

504 a| Includes bibliographical references (p. 233-236) and indexes.;

650 0 a| Categories (Mathematics)=| ^A23638;

650 0 a| Proposition (Logic)=| ^A50646;

650 0 a| Model theory.=| ^A21581;

700 1 a| Zawadowski, Marek.=| ^A523991;

830 0 a| Trends in logic ;v| v. 14.=| ^A520786;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har025027657c| 92.00 DEM;

980 a| 2002-09-25b| 85d| 4.64e| 71.4f| 84816;

596 a| 1;

998 a| 888283;

999 a| QA169 .G47 2002w| LCc| 1i| 30372011804645d| 10/2/2020e| 12/9/2019f| 3/22/2013g| 1l| JGESm| JOYNERn| 2p| $71.40r| Ys| Yt| JGESBKu| 10/7/2002x| BOOKz| JSTACKSo| .STAFF. 0;

Sheaves, games, and model completions : a categorial approach to nonclassical propositional logics / Silvio Ghilardi, Marek Zawadowski.

Author/creator	Ghilardi, Silvio
Other author	Zawadowski, Marek.
Format	Book
Publication Info	Dordrecht ; Boston : Kluwer Academic Publishers, ©2002.
Description	ix, 243 pages : illustrations ; 25 cm.
Subjects	Categories (Mathematics) Proposition (Logic) Model theory.

Series	Trends in logic ; v. 14 Trends in logic ; v. 14. ^A520786
Bibliography note	Includes bibliographical references (p. 233-236) and indexes.
LCCN	2002073164
ISBN	1402006608 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA169 .G47 2002	✔ Available	Place Hold

Sheaves, games, and model completions : a categorial approach to nonclassical propositional logics / Silvio Ghilardi, Marek Zawadowski.

Click here for more information about this title

Availability