@InCollection{Goe69,
    Author       = "G{\"o}del, K.",
    Year         = "1969",
    Title        = "{An Interpretation of the Intuitionistic Sentential Logic}",
    Editor       = "Hintikka, J.",
    BookTitle    = "{The Philosophy of Mathematics}",
    Pages        = "128-129",
    Publisher    = "Oxford University Press",
    Comment      = "TPTPRef"
}