%0 Journal Article %1 journals/mlq/DinisF17 %A Dinis, Bruno %A Ferreira, Fernando %D 2017 %J Math. Log. Q. %K dblp %N 1-2 %P 114-123 %T Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic. %U http://dblp.uni-trier.de/db/journals/mlq/mlq63.html#DinisF17 %V 63

@article{journals/mlq/DinisF17, added-at = {2019-12-10T00:00:00.000+0100}, author = {Dinis, Bruno and Ferreira, Fernando}, biburl = {https://www.bibsonomy.org/bibtex/2f22ff1fdc809adeccc7a67a6cd887e5e/dblp}, ee = {https://doi.org/10.1002/malq.201600066}, interhash = {ed54f3f7bb79adaff61d60993cd53554}, intrahash = {f22ff1fdc809adeccc7a67a6cd887e5e}, journal = {Math. Log. Q.}, keywords = {dblp}, number = {1-2}, pages = {114-123}, timestamp = {2019-12-11T11:38:33.000+0100}, title = {Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq63.html#DinisF17}, volume = 63, year = 2017 }