%0 Journal Article %1 journals/apal/WilkieP87 %A Wilkie, A. J. %A Paris, Jeff B. %D 1987 %J Ann. Pure Appl. Log. %K dblp %P 261-302 %T On the scheme of induction for bounded arithmetic formulas. %U http://dblp.uni-trier.de/db/journals/apal/apal35.html#WilkieP87 %V 35

@article{journals/apal/WilkieP87, added-at = {2020-02-21T00:00:00.000+0100}, author = {Wilkie, A. J. and Paris, Jeff B.}, biburl = {https://www.bibsonomy.org/bibtex/2f1350b2caaf02fe2c19d4769b13833c8/dblp}, ee = {https://doi.org/10.1016/0168-0072(87)90066-2}, interhash = {3a0b759a2a2e2680a8f5b30acf7bae71}, intrahash = {f1350b2caaf02fe2c19d4769b13833c8}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, pages = {261-302}, timestamp = {2020-02-22T12:46:15.000+0100}, title = {On the scheme of induction for bounded arithmetic formulas.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal35.html#WilkieP87}, volume = 35, year = 1987 }