%0 Journal Article %1 journals/apal/BussI95 %A Buss, Samuel R. %A Ignjatovic, Aleksandar %D 1995 %J Ann. Pure Appl. Log. %K dblp %N 3 %P 221-244 %T Unprovability of Consistency Statements in Fragments of Bounded Arithmetic. %U http://dblp.uni-trier.de/db/journals/apal/apal74.html#BussI95 %V 74

@article{journals/apal/BussI95, added-at = {2020-02-21T00:00:00.000+0100}, author = {Buss, Samuel R. and Ignjatovic, Aleksandar}, biburl = {https://www.bibsonomy.org/bibtex/2306b5db97d7b199f4621140d04695da1/dblp}, ee = {https://doi.org/10.1016/0168-0072(94)00049-9}, interhash = {345acd215dd1bfb000357342ca08a346}, intrahash = {306b5db97d7b199f4621140d04695da1}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = 3, pages = {221-244}, timestamp = {2020-02-22T12:46:00.000+0100}, title = {Unprovability of Consistency Statements in Fragments of Bounded Arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal74.html#BussI95}, volume = 74, year = 1995 }