{"date_updated":"2024-06-19T09:23:05Z","type":"review","year":"1998","language":[{"iso":"ger"}],"date_created":"2020-08-26T05:31:06Z","user_id":"391","_id":"18302","main_file_link":[{"open_access":"1","url":"https://www.zbmath.org/0896.03005"}],"article_number":"Zbl. 896.03005","status":"public","citation":{"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.","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.","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.","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.","short":"V. Peckhaus, zbMATH Open, Zbl. 0896.03005 (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)."},"title":"Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273","author":[{"last_name":"Peckhaus","id":"391","full_name":"Peckhaus, Volker","first_name":"Volker"}],"department":[{"_id":"520"}],"publication":"zbMATH Open, Zbl. 0896.03005","oa":"1","extern":"1"}