@InCollection{    Kripke1963-KRISAO-2,
  Author        = "Kripke, Saul A.",
  Editor        = "Dummett, Michael and Crossley, J. N.",
  BookTitle     = "Journal of Symbolic Logic",
  date-added    = "2015-10-19 20:36:39 +0000",
  date-modified = "2015-10-19 20:36:39 +0000",
  Number        = "2",
  Pages         = "92--130",
  Publisher     = "North Holland",
  Title         = "Semantical Analysis of Intuitionistic Logic I",
  Year          = "1963",
  File          = "Semantical Analysis of Intuitionistic Logic I - Kripke (0) (0) - a - a - q.pdf"
}

@InCollection{ Kripke1963-KRISAO-2, Author = "Kripke, Saul A.", Editor = "Dummett, Michael and Crossley, J. N.", BookTitle = "Journal of Symbolic Logic", date-added = "2015-10-19 20:36:39 +0000", date-modified = "2015-10-19 20:36:39 +0000", Number = "2", Pages = "92--130", Publisher = "North Holland", Title = "Semantical Analysis of Intuitionistic Logic I", Year = "1963", File = "Semantical Analysis of Intuitionistic Logic I - Kripke (0) (0) - a - a - q.pdf" }