{"year":"1998","date_updated":"2022-01-06T06:53:28Z","date_created":"2020-08-25T11:45:08Z","author":[{"first_name":"Volker","full_name":"Peckhaus, Volker","id":"391","last_name":"Peckhaus"}],"citation":{"ama":"Peckhaus V. Schroeder-Heister, Peter, “Frege and the Resolution Calculus”, History and Philosophy of Logic 18 (1997), 95–108. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 88903002]. 1998.","chicago":"Peckhaus, Volker. “Schroeder-Heister, Peter, ‘Frege and the Resolution Calculus’, History and Philosophy of Logic 18 (1997), 95–108.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 889.03002], 1998.","ieee":"V. Peckhaus, “Schroeder-Heister, Peter, ‘Frege and the Resolution Calculus’, History and Philosophy of Logic 18 (1997), 95–108,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 889.03002]. 1998.","bibtex":"@article{Peckhaus_1998, title={Schroeder-Heister, Peter, “Frege and the Resolution Calculus”, History and Philosophy of Logic 18 (1997), 95–108}, number={Zbl. 889.03002}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 889.03002]}, author={Peckhaus, Volker}, year={1998} }","apa":"Peckhaus, V. (1998). Schroeder-Heister, Peter, “Frege and the Resolution Calculus”, History and Philosophy of Logic 18 (1997), 95–108. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 889.03002].","mla":"Peckhaus, Volker. “Schroeder-Heister, Peter, ‘Frege and the Resolution Calculus’, History and Philosophy of Logic 18 (1997), 95–108.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 889.03002], Zbl. 889.03002, 1998.","short":"V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 889.03002] (1998)."},"article_number":"Zbl. 889.03002","department":[{"_id":"520"}],"publication":"Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 889.03002]","status":"public","_id":"18269","type":"review","title":"Schroeder-Heister, Peter, “Frege and the Resolution Calculus”, History and Philosophy of Logic 18 (1997), 95–108","language":[{"iso":"eng"}],"user_id":"14932","extern":"1"}