{"extern":"1","citation":{"ieee":"V. Peckhaus, “Luckhardt, Horst, ‘Bounds Extracted by Georg Kreisel from Ineffective Proofs’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273,” <i>zbMATH Open, Zbl. 0896.03005</i>. 1998.","apa":"Peckhaus, V. (1998). Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273. In <i>zbMATH Open, Zbl. 0896.03005</i> (Zbl. 896.03005).","chicago":"Peckhaus, Volker. “Luckhardt, Horst, ‘Bounds Extracted by Georg Kreisel from Ineffective Proofs’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273.” <i>zbMATH Open, Zbl. 0896.03005</i>, 1998.","short":"V. Peckhaus, zbMATH Open, Zbl. 0896.03005 (1998).","mla":"Peckhaus, Volker. “Luckhardt, Horst, ‘Bounds Extracted by Georg Kreisel from Ineffective Proofs’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273.” <i>zbMATH Open, Zbl. 0896.03005</i>, Zbl. 896.03005, 1998.","bibtex":"@article{Peckhaus_1998, title={Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273}, number={Zbl. 896.03005}, journal={zbMATH Open, Zbl. 0896.03005}, author={Peckhaus, Volker}, year={1998} }","ama":"Peckhaus V. Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273. <i>zbMATH Open, Zbl 089603005</i>. Published online 1998."},"publication":"zbMATH Open, Zbl. 0896.03005","oa":"1","department":[{"_id":"520"}],"type":"review","date_created":"2020-08-26T05:31:06Z","date_updated":"2024-06-19T09:23:05Z","author":[{"first_name":"Volker","last_name":"Peckhaus","full_name":"Peckhaus, Volker","id":"391"}],"status":"public","year":"1998","title":"Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273","user_id":"391","language":[{"iso":"ger"}],"_id":"18302","main_file_link":[{"url":"https://www.zbmath.org/0896.03005","open_access":"1"}],"article_number":"Zbl. 896.03005"}