Przejdź do menu głównego
Przejdź do treści
PL
|
EN
Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
test
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Numer - szczegóły
Adres strony
Kopiuj
Wydawca
Wydawnictwo Uniwersytetu Łódzkiego
Czasopismo
Bulletin of the Section of Logic
Rocznik
2022
Tom
51
Numer
2
Identyfikatory
Okładka
Zawartość wolumenu
2
artykuł:
A Variant of Material Connexive Logic
(
Belikov A.
,
Zaitsev D.
)
artykuł:
Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
(
Braüner T.
), s. 143-162
artykuł:
Proof Compression and NP Versus PSPACE II: Addendum
(
Gordeev L.
,
Haeusler E. H.
), s. 197-205
rozwiń roczniki
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.