scientific article; zbMATH DE number 1288286

Authors

Publication date 18 May 1999

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) History of computer science (68-03)

Review text

The articles of this volume will be reviewed individually. Indexed articles: \textit{Bartol, Wiktor; Orłowska, Ewa; Skowron, Andrzej}, Helena Rasiowa, 1917-1994, 9-21 [Zbl 0924.01027] \textit{Belegradek, Oleg V.; Stolboushkin, Alexei P.; Taitslin, Michael A.}, On problems of databases over a fixed infinite universe, 23-62 [Zbl 0978.68056] \textit{Nguyen Cat Ho; Huynh Van Nam}, A theory of refinement structure of hedge algebras and its applications to fuzzy logic, 63-91 [Zbl 0936.03024] \textit{Dawar, Anuj}, Finite models and finitely many variables, 93-117 [Zbl 0936.03032] \textit{Flum, Jörg}, On the existence of prime ideals in Boolean algebras, 119-123 [Zbl 0929.06006] \textit{Idziak, Paweł M.}, Decidability and structure, 125-135 [Zbl 0935.03016] \textit{Kfoury, A. J.}, Beta-reduction as unification, 137-158 [Zbl 0929.03022] \textit{Maksimova, Larisa}, Interrelation of algebraic, semantical and logical properties for superintuitionistic and modal logics, 159-168 [Zbl 0931.03042] \textit{Mundici, Daniele; Panti, Giovanni}, A constructive proof that every 3-generated \(\ell\)-group is ultrasimplicial, 169-178 [Zbl 1002.06014] \textit{Tahhan Bittar, Elias}, Strong normalization proofs for cut elimination in Gentzen's sequent calculi, 179-225 [Zbl 0945.03083]

Recommendations

Cited in

(5)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4243437)