What logics mean: from proof theory to model theoretic semantics

類似資料

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