@InCollection{Goe33,
    Author       = "G{\"o}del, K.",
    Year         = "1933",
    Title        = "{An Interpretation of the Intuitionistic Propositional Calculus}",
    Editor       = "Feferman, S. and Dawson, J. and Kleene, S. and Moore, G.  and Solovay, R. and
                    van Heijenoort, J.",
    BookTitle    = "{Collected Works: Publications 1929-1936}",
    Pages        = "",
    Publisher    = "Oxford University Press",
    Comment      = "TPTPRef"
}