Downward Löwenheim–Skolem Theorem and interpolation in logics with constructors Academic Article uri icon

publication date

  • 2017