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

Lignende værker

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