@misc{18303,
  author       = {{Peckhaus, Volker}},
  booktitle    = {{zbMATH Open, Zbl. 0896.03007}},
  title        = {{{McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334}}},
  year         = {{1998}},
}