PL
|
EN
Szukaj
Przeglądaj
Pomoc
O nas
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Numer - szczegóły
Adres strony
Kopiuj
Wydawca
Institute of Mathematics Polish Academy of Sciences
Czasopismo
Banach Center Publications
Rocznik
1999
Tom
46
Numer
1
Identyfikatory
Okładka
Zawartość wolumenu
1
artykuł:
Preface, Contents
(
Niwiński D.
,
Zawadowski M.
), s. 1-7
artykuł:
Helena Rasiowa, 1917-1994
(
Bartol W.
,
Orłowska E.
,
Skowron A.
), s. 9-21
artykuł:
On problems of databases over a fixed infinite universe
(
Belegradek O. V.
,
Stolboushkin A. P.
,
Taitslin M. A.
), s. 23-62
artykuł:
A theory of refinement structure of hedge algebras and its applications to fuzzy logic
(
Ho N. C.
,
Nam H. V.
), s. 63-91
artykuł:
Finite models and finitely many variables
(
Dawar A.
), s. 93-117
artykuł:
On the existence of prime ideals in Boolean algebras
(
Flum J.
), s. 119-123
artykuł:
Decidability and structure
(
Idziak P. M.
), s. 125-135
artykuł:
Beta-reduction as unification
(
Kfoury A. J.
), s. 137-158
artykuł:
Interrelation of algebraic, semantical and logical properties for superintuitionistic and modal logics
(
Maksimova L.
), s. 159-168
artykuł:
A constructive proof that every 3-generated l-group is ultrasimplicial
(
Mundici D.
,
Panti G.
), s. 169-178
artykuł:
Strong normalization proofs for cut elimination in Gentzen's sequent calculi
(
Bittar E. T.
), s. 179-225
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ć.