A Sufficient and Necessary Condition for Omitting Types

Bulletin of the Section of Logic, Tom 34, Numer 1 (2005) s. 23-27
Tarek Sayed Ahmed

 

do góry