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