Rudiments of Mu-calculus
Dane publikacji
Typ publikacji
Książka
Rodzaj publikacji
Książka
Tytuł publikacji
Rudiments of Mu-calculus
Adres internetowy
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania
Amsterdam
Nazwa wydawcy
North-Holland, Elsevier
Rok wydania
2001
Tytuł serii
Studies in Logic and the Foundations of Mathematics
Numer w serii
146
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2001
Lista autorów
1.
Damian Niwiński
,
Zakład Logiki Stosowanej
[
Współautor
]
2.
A. Arnold,
Jednostka zewnetrzna
[
Współautor
]