9781402006609 - sheaves, games, and model completions: a categorical approach to nonclassical propositional logics (trends in logic, 14, band 14) von ghilardi, silvio; zawadowski, m. (3 Ergebnisse)

Sprache: Englisch
Verlag: Springer 2002
Serie: Trends in Logic, Buch 28 von 53. Buch 28 von 53 - Trends in Logic
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 114,97
EUR 13,80 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.

Sprache: Englisch
Verlag: Springer Netherlands 2002
Serie: Trends in Logic, Buch 28 von 53. Buch 28 von 53 - Trends in Logic
- Hardcover
Anbieter: moluna, Greven, , Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 93,00
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Gebunden. Zustand: New.

Sprache: Englisch
Verlag: Kluwer Academic Publishers 2002
Serie: Trends in Logic, Buch 28 von 53. Buch 28 von 53 - Trends in Logic
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 164,17
EUR 9,16 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New. Investigates propositional intuitionistic and modal logics from a different point of view. This book deals with the structure of the category of finitely presented Heyting and modal algebras, relating it both with proof theoretic and model theoretic facts. It is aimed at professional logicians. Series: Trends in Lo…gic. Num Pages: 245 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 543. . 2002. Hardback. . . . . Books ship from the US and Ireland.