Löwenheim–Skolem theorems for first-order algebraizable logics

Kategorie a štítky

  • Abstrakt