From bisimulation quantifiers to classifying toposes

Dane publikacji
  
Typ publikacjiPublikacja w książce
Rodzaj publikacjiEsej lub rozdział w książce
Tytuł publikacjiFrom bisimulation quantifiers to classifying toposes
Adres internetowy
Tytuł książkiAdvances in Modal Logic, vol. III, F.Wolter, H.Wansing, M.de Rijke, M.Zakharyashev (eds.)
TomIII
Od strony193
Do strony220
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydaniaSingapure
Nazwa wydawcyWorld Scientific Publisher
Rok wydania2002
Tytuł serii
Numer w serii
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2002

Lista autorów
  
 1. S Ghilardi, Jednostka zewnetrzna [Współautor]
 2. Marek Zawadowski, Zakład Logiki Matematycznej [Współautor]