Omitting Tupes in Fragments and Extensions of First Order Logic

Bulletin of the Section of Logic, Tom 50, Numer 3 (2021) s. 249-287
Tarek Sayed Ahmed

 

do góry