Omitting Types for Finite Variable Fragments of First Order Logic

Bulletin of the Section of Logic, Tom 32, Numer 3 (2003) s. 177-122
Tarek Sayed Ahmed

 

do góry