review Volker Peckhaus author 391 520 department 1998 ger yes Peckhaus V. McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334. <i>zbMATH Open, Zbl 089603007</i>. Published online 1998. @article{Peckhaus_1998, title={McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334}, number={Zbl. 896.03007}, journal={zbMATH Open, Zbl. 0896.03007}, author={Peckhaus, Volker}, year={1998} } Peckhaus, Volker. “McCarty, David, ‘Completeness for Intuitionistic Logic’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334.” <i>zbMATH Open, Zbl. 0896.03007</i>, Zbl. 896.03007, 1998. Peckhaus, Volker. “McCarty, David, ‘Completeness for Intuitionistic Logic’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334.” <i>zbMATH Open, Zbl. 0896.03007</i>, 1998. V. Peckhaus, zbMATH Open, Zbl. 0896.03007 (1998). Peckhaus, V. (1998). McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334. In <i>zbMATH Open, Zbl. 0896.03007</i> (Zbl. 896.03007). V. Peckhaus, “McCarty, David, ‘Completeness for Intuitionistic Logic’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334,” <i>zbMATH Open, Zbl. 0896.03007</i>. 1998. 183032020-08-26T05:33:12Z2024-06-19T12:28:13Z