Banach Center Publications - Tom 46, Numer 1 (1999) - DML-PL - Yadda

Numer - szczegóły

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ć.