A Theory of Truth and Semantic Interpretation. Kamp, H. In Groenendijk, J., Janssen, T., & Stokhof, M., editors, Formal Methods in the Study of Language. Mathematical Centre Tracts.
bibtex   
@incollection{kamp1981,
  author = {Hans Kamp},
  booktitle = {Formal Methods in the Study of Language},
  date = {1981},
  editor = {Jeroen Groenendijk and Theo Janssen and Martin Stokhof},
  location = {Amsterdam, Netherlands},
  publisher = {Mathematical Centre Tracts},
  title = {A Theory of Truth and Semantic Interpretation},
}
Downloads: 0