@Article{         Martin-Lof1996-MAROTM-7,
  Author        = {Martin{-}L\"of, Per},
  date-added    = "2019-03-21 22:04:12 +0100",
  date-modified = "2019-03-21 22:04:12 +0100",
  Journal       = "Nordic Journal of Philosophical Logic",
  Number        = "1",
  Pages         = "11--60",
  Publisher     = "Scandinavian University Press",
  Title         = "On the Meanings of the Logical Constants and the Justifications of the Logical Laws",
  Volume        = "1",
  Year          = "1996",
  File          = "MartinLofOnTheMeaning96 (0) (0) - a - a - y.pdf",
  file-2        = "martin-lof-meanings-2up (0) (0) - a - a - y.pdf",
  file-3        = "0588-5 (0) (0) - a - a - y.pdf"
}

@Article{ Martin-Lof1996-MAROTM-7, Author = {Martin{-}L\"of, Per}, date-added = "2019-03-21 22:04:12 +0100", date-modified = "2019-03-21 22:04:12 +0100", Journal = "Nordic Journal of Philosophical Logic", Number = "1", Pages = "11--60", Publisher = "Scandinavian University Press", Title = "On the Meanings of the Logical Constants and the Justifications of the Logical Laws", Volume = "1", Year = "1996", File = "MartinLofOnTheMeaning96 (0) (0) - a - a - y.pdf", file-2 = "martin-lof-meanings-2up (0) (0) - a - a - y.pdf", file-3 = "0588-5 (0) (0) - a - a - y.pdf" }