@article {Poggiolesi:2013:0144-5340:98, title = "Proof Analysis. A Contribution to Hilbert's Last Problem", journal = "History and Philosophy of Logic", parent_itemid = "infobike://tandf/thpl", publishercode ="tandf", year = "2013", volume = "34", number = "1", publication date ="2013-02-01T00:00:00", pages = "98-99", itemtype = "ARTICLE", issn = "0144-5340", eissn = "1464-5149", url = "https://www.ingentaconnect.com/content/tandf/thpl/2013/00000034/00000001/art00007", doi = "doi:10.1080/01445340.2012.735805", author = "Poggiolesi, F.", abstract = "", }