{"date_created":"2020-08-26T05:33:12Z","oa":"1","department":[{"_id":"520"}],"type":"review","citation":{"mla":"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.","bibtex":"@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} }","ama":"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.","ieee":"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.","apa":"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).","short":"V. Peckhaus, zbMATH Open, Zbl. 0896.03007 (1998).","chicago":"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."},"publication":"zbMATH Open, Zbl. 0896.03007","extern":"1","language":[{"iso":"ger"}],"_id":"18303","main_file_link":[{"url":"https://www.zbmath.org/0896.03007","open_access":"1"}],"article_number":"Zbl. 896.03007","user_id":"391","author":[{"first_name":"Volker","last_name":"Peckhaus","full_name":"Peckhaus, Volker","id":"391"}],"status":"public","title":"McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334","year":"1998","date_updated":"2024-06-19T12:28:13Z"}