Wyniki wyszukiwania: 2.

Sortuj
Wyniki
Metody logiki : dedukcja [dokument elektroniczny] / Andrzej Indrzejczak, Marek Nowak. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Łódź : Wydawnictwo Uniwersytetu Łódzkiego, 2016
Status: Brak dostępnych egzemplarzy.
Deductive systems and the decidability problem for hybrid logics / Michał Zawidzki. autor
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Łódź : Kraków : Wydawnictwo Uniwersytetu Łódzkiego ; Jagiellonian University Press, 2013
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 182333.