この資料をSMS送信: First order categorial logic: model-theoretical methods in theory of topoi and related categories