Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Prolib Integro - strona głównaBiblioteka Akademicka WSIiZ

Wyszukujesz frazę "Pietruszczak, Andrzej" wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-5 z 5
    Tytuł:
    On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1
    Autorzy:
    Pietruszczak, Andrzej
    Tematy:
    first-degree theses of modal logics
    theses without iterated modalities
    Pollack’s theory of Basic Modal Logic
    basic theories for modal logics between C1 and S5
    Pokaż więcej
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Dostawca treści:
    Biblioteka Nauki
    Pozycja nr 1: On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1. Przejdź do szczegółów egzemplarza
    Artykuł
    Tytuł:
    On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2
    Autorzy:
    Pietruszczak, Andrzej
    Tematy:
    first-degree theses of modal logics
    theses without iterated modalities
    Pollack’s theory of Basic Modal Logic
    basic theories for modal logics between C1 and S5
    Pokaż więcej
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Dostawca treści:
    Biblioteka Nauki
    Pozycja nr 2: On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2. Przejdź do szczegółów egzemplarza
    Artykuł
    Tytuł:
    On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories
    Autorzy:
    Łyczak, Marcin
    Pietruszczak, Andrzej
    Tematy:
    elementary ontology
    quantifier-free fragment of ontology
    ontology-like theories
    copula ‘is’
    calculus of names
    Leśniewski's ontology
    subtheories of Leśniewski’s ontology
    Pokaż więcej
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Dostawca treści:
    Biblioteka Nauki
    Pozycja nr 3: On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories. Przejdź do szczegółów egzemplarza
    Artykuł
    Tytuł:
    A comparison of two systems of point-free topology
    Autorzy:
    Gruszczyński, Rafał
    Pietruszczak, Andrzej
    Tematy:
    point-free topology
    region-based topology
    foundations of topology
    mereology
    mereological structures
    separation structures
    connection structures
    Grzegorczyk structures
    Biacino-Gerla structures.
    Pokaż więcej
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Dostawca treści:
    Biblioteka Nauki
    Pozycja nr 4: A comparison of two systems of point-free topology. Przejdź do szczegółów egzemplarza
    Artykuł
    Tytuł:
    Rachunki sekwentowe w logice klasycznej
    Autorzy:
    Indrzejczak, Andrzej
    Pietruszczak, Andrzej
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Dostawca treści:
    Biblioteka Nauki
    Pozycja nr 5: Rachunki sekwentowe w logice klasycznej. Przejdź do szczegółów egzemplarza
    Książka
      Wyświetlanie 1-5 z 5

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies