Zawartość tomu 46
-
On problems of databases over a fixed infinite universe Banach Center Publications 46 (1999), 23-62 DOI: 10.4064/-46-1-23-62
-
A theory of refinement structure of hedge algebras and its applications to fuzzy logic Banach Center Publications 46 (1999), 63-91 DOI: 10.4064/-46-1-63-91
-
Finite models and finitely many variables Banach Center Publications 46 (1999), 93-117 DOI: 10.4064/-46-1-93-117
-
On the existence of prime ideals in Boolean algebras Banach Center Publications 46 (1999), 119-123 DOI: 10.4064/-46-1-119-123
-
Beta-reduction as unification Banach Center Publications 46 (1999), 137-158 DOI: 10.4064/-46-1-137-158
-
Interrelation of algebraic, semantical and logical properties for superintuitionistic and modal logics Banach Center Publications 46 (1999), 159-168 DOI: 10.4064/-46-1-159-168
-
A constructive proof that every 3-generated l-group is ultrasimplicial Banach Center Publications 46 (1999), 169-178 DOI: 10.4064/-46-1-169-178
-
Strong normalization proofs for cut elimination in Gentzen's sequent calculi Banach Center Publications 46 (1999), 179-225 DOI: 10.4064/-46-1-179-225
