%0 Journal Article %1 journals/mlq/Levitz82 %A Levitz, Hilbert %D 1982 %J Math. Log. Q. %K dblp %N 14-18 %P 219-228 %T Calculation of an Order Type: An application of Non-Standard Methods. %U http://dblp.uni-trier.de/db/journals/mlq/mlq28.html#Levitz82 %V 28

@article{journals/mlq/Levitz82, added-at = {2016-11-30T00:00:00.000+0100}, author = {Levitz, Hilbert}, biburl = {https://www.bibsonomy.org/bibtex/2ae1ded3475f94c4fab3edabe1cebcdba/dblp}, ee = {http://dx.doi.org/10.1002/malq.19820281406}, interhash = {3c01b7470212007f163a50ac72b43a80}, intrahash = {ae1ded3475f94c4fab3edabe1cebcdba}, journal = {Math. Log. Q.}, keywords = {dblp}, number = {14-18}, pages = {219-228}, timestamp = {2016-12-01T11:34:12.000+0100}, title = {Calculation of an Order Type: An application of Non-Standard Methods.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq28.html#Levitz82}, volume = 28, year = 1982 }