Vol-532⫷ Vol-533 ⫸Vol-534
urn:nbn:de:0074-533-0


Vol-533/paper-2⫷Vol-533/paper-3⫸Vol-533/paper-4

Functional first order de definability of LRTp