A note on da Costa-Doria exotic formalizations - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Lew Gordeev. A note on da Costa-Doria exotic formalizations . Arch. Math. Log., 49(7-8):813-821, 2010. [doi]

@article{Gordeev10,
  title = {A note on da Costa-Doria  exotic formalizations },
  author = {Lew Gordeev},
  year = {2010},
  doi = {10.1007/s00153-010-0203-x},
  url = {http://dx.doi.org/10.1007/s00153-010-0203-x},
  researchr = {https://researchr.org/publication/Gordeev10},
  cites = {0},
  citedby = {0},
  journal = {Arch. Math. Log.},
  volume = {49},
  number = {7-8},
  pages = {813-821},
}

runs on WebDSL