Löwenheim-Skolem and interpolation theorems in infinitary languages

From MaRDI portal
Publication:5680095