Open menu
Maaret Karttunen
Model theory for infinitely deep languages