What logics mean: from proof theory to model theoretic semantics

Lignende værker

• Biomonitoring of Veli-Akkulam lake in Kerala using macro invertibrates and fish /
  af: Abhijna, U. G.
  Udgivet: (2014)
• Algebraic Theories A categorical introduction to general algebra /
  af: Adamek, J.
  Udgivet: (2011)
• Logic programming: operational semantics and proof theory
  af: Andrews, James H
  Udgivet: (1992)
• Meaning and necessity: a study in semantics and modal logic/
  af: Rudolf Carnap
  Udgivet: (1964)
• Semantic externalism /
  af: Kallestrup, Jesper
  Udgivet: (2012)