{"date_updated":"2024-06-19T12:27:29Z","author":[{"first_name":"Volker","last_name":"Peckhaus","full_name":"Peckhaus, Volker","id":"391"}],"title":"Mints, Gregory, “Normal Forms for Sequent Derivations”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492","status":"public","year":"1998","user_id":"391","_id":"18309","language":[{"iso":"ger"}],"article_number":"Zbl. 897.03053","main_file_link":[{"url":"https://www.zbmath.org/0897.03053","open_access":"1"}],"extern":"1","citation":{"mla":"Peckhaus, Volker. “Mints, Gregory, ‘Normal Forms for Sequent Derivations’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492.” <i>zbMATH Open, Zbl. 0897.03053</i>, Zbl. 897.03053, 1998.","bibtex":"@article{Peckhaus_1998, title={Mints, Gregory, “Normal Forms for Sequent Derivations”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492}, number={Zbl. 897.03053}, journal={zbMATH Open, Zbl. 0897.03053}, author={Peckhaus, Volker}, year={1998} }","ama":"Peckhaus V. Mints, Gregory, “Normal Forms for Sequent Derivations”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492. <i>zbMATH Open, Zbl 089703053</i>. Published online 1998.","ieee":"V. Peckhaus, “Mints, Gregory, ‘Normal Forms for Sequent Derivations’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492,” <i>zbMATH Open, Zbl. 0897.03053</i>. 1998.","apa":"Peckhaus, V. (1998). Mints, Gregory, “Normal Forms for Sequent Derivations”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492. In <i>zbMATH Open, Zbl. 0897.03053</i> (Zbl. 897.03053).","short":"V. Peckhaus, zbMATH Open, Zbl. 0897.03053 (1998).","chicago":"Peckhaus, Volker. “Mints, Gregory, ‘Normal Forms for Sequent Derivations’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492.” <i>zbMATH Open, Zbl. 0897.03053</i>, 1998."},"publication":"zbMATH Open, Zbl. 0897.03053","department":[{"_id":"520"}],"oa":"1","type":"review","date_created":"2020-08-26T05:46:15Z"}