PL
|
EN
Szukaj
Przeglądaj
Pomoc
O bazie
test
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Vol. 48
Czasopismo
Reports on Mathematical Logic
Wydawca
Wydawnictwo Uniwersytetu Jagiellońskiego
Rocznik
2013
Identyfikatory
Zawartość wolumenu
Vol. 48
artykuł:
On some properties of quasi-MV algebras and √' quasi-MV algebras. Part IV
(
Jipsen P.
,
Ledda A.
,
Paoli F.
), s. 3--36
artykuł:
Kronecker in contemporary mathematics. general arithmetic as a foundational programme
(
Gauthier Y.
), s. 37--65
artykuł:
Jankov - style formulas and refutation systems
(
Citkin A.
), s. 67--80
artykuł:
A semantic analysis of some distributive logics with negation
(
Celani S.A.
), s. 81--100
artykuł:
Tableau - based bisimulation invariance testing
(
Perkov T.
), s. 101--115
artykuł:
Errata on „On the variety of heyting algebras with successor generated by all finite chains"
(
Castiglioni J. L.
,
San Martín J.
), s. 117--120
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ć.