Media type: Book Title: Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics Contributor: Ghilardi, Silvio [Author]; Zawadowski, Marek [Author] Published: Dordrecht [u.a.]: Kluwer Academic Publishers, 2002 Published in: Trends in logic ; 14 Extent: IX, 243 S; graph. Darst Language: English; German ISBN: 1402006608 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Aussagenlogik > Modelltheorie > Kategorie > Heyting-Arithmetik > Beweistheorie Origination: Footnote: Includes index
Departmental Library DrePunct Shelf-mark: SK 130 G424 Item ID: 31003679 Status: Verfügbarkeit bitte in Prof Automatentheorie erfragen.