"Caicedo"

Hilbert's e-symbol in the presence of generatized quantifiers Opublikowano w: Bulletin of the Section of Logic 1991 / Tom 20 / Numer 3-4 / s. 85 - 87

Continous operations on spaces of structures Opublikowano w: Bulletin of the Section of Logic 1991 / Tom 20 / Numer 3-4 / s. 88 - 89