%0 Journal Article %1 journals/mlq/Borrego-DiazFP96 %A Borrego-Díaz, Joaquín %A Fernández-Margarit, Alejandro %A Pérez-Jiménez, Mario J. %D 1996 %J Math. Log. Q. %K dblp %P 341-348 %T On Overspill Principles and Axiom Schemes for Bounded Formulas. %U http://dblp.uni-trier.de/db/journals/mlq/mlq42.html#Borrego-DiazFP96 %V 42

@article{journals/mlq/Borrego-DiazFP96, added-at = {2023-08-28T00:00:00.000+0200}, author = {Borrego-Díaz, Joaquín and Fernández-Margarit, Alejandro and Pérez-Jiménez, Mario J.}, biburl = {https://www.bibsonomy.org/bibtex/2c8a43a7a7464fb39365f3c93a5870d37/dblp}, ee = {https://www.wikidata.org/entity/Q114018795}, interhash = {0811e58d74760bf9a003b017894bc091}, intrahash = {c8a43a7a7464fb39365f3c93a5870d37}, journal = {Math. Log. Q.}, keywords = {dblp}, pages = {341-348}, timestamp = {2024-04-08T17:44:30.000+0200}, title = {On Overspill Principles and Axiom Schemes for Bounded Formulas.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq42.html#Borrego-DiazFP96}, volume = 42, year = 1996 }