First order categorial logic: model-theoretical methods in theory of topoi and related categories

類似資料

• Model theoretic algebra: with particular emphasis on fields, rings, modules
  著者:: Jensen, Christian U, 等
  出版事項: (1989)
• Eléments de logique mathématique: théorie des modèles
  著者:: Kreisel, G, 等
  出版事項: (1966)
• Mathematical Logic
  著者:: Monk, James Donald
  出版事項: (1976)
• Introduction to model theory and to the metamathematics of algebra
  著者:: Robinson, Abraham
  出版事項: (1965)
• A first course in mathematical modeling.
  著者:: Giordano, Frank R., 等
  出版事項: (2014)