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

Benzer Materyaller

• Model theoretic algebra: with particular emphasis on fields, rings, modules
  Yazar:: Jensen, Christian U, ve diğerleri
  Baskı/Yayın Bilgisi: (1989)
• Eléments de logique mathématique: théorie des modèles
  Yazar:: Kreisel, G, ve diğerleri
  Baskı/Yayın Bilgisi: (1966)
• Mathematical Logic
  Yazar:: Monk, James Donald
  Baskı/Yayın Bilgisi: (1976)
• Introduction to model theory and to the metamathematics of algebra
  Yazar:: Robinson, Abraham
  Baskı/Yayın Bilgisi: (1965)
• A first course in mathematical modeling.
  Yazar:: Giordano, Frank R., ve diğerleri
  Baskı/Yayın Bilgisi: (2014)