Widok standardowy Widok MARC Widok ISBD

Deductive systems and the decidability problem for hybrid logics / Michał Zawidzki.

Autor: Współtwórca(-y): Rodzaj materiału: TekstTekstSzczegóły wydania: Łódź : Wydawnictwo Uniwersytetu Łódzkiego ; Kraków : Jagiellonian University Press, 2013.Opis: XIV, 215, [1] s. : il. (w tym kolor.) ; 25 cmISBN:
  • 9788379690428
  • 9788323336952
  • 9788379690435
  • 9788379690541
  • 9788323390183
Tematy:
Egzemplarze
Typ dokumentu Obecna biblioteka Kolekcja Sygnatura Status Kod kreskowy
Niewypożyczane Biblioteka Politechniki Poznańskiej w czytelni Czytelnia A 182333 Dostępny 0000148607
Liczba zamówień: 0

Bibliogr. s. 199-209. Indeks.

Udostępnij