Fixed point theorems in constructive mathematics. Hendtlass, M. J. Log. Anal., 4:Paper 10, 20, 2012.
bibtex   
@ARTICLE{Hen12a,
  author = {Hendtlass, Matthew},
  title = {Fixed point theorems in constructive mathematics},
  journal = {J. Log. Anal.},
  year = {2012},
  volume = {4},
  pages = {Paper 10, 20},
  file = {Hen12a.pdf:Hen12a.pdf:PDF},
  fjournal = {Journal of Logic and Analysis},
  issn = {1759-9008},
  keywords = {bib,con},
  mrclass = {47H10 (03F60 34A12 46S30)},
  mrnumber = {2944965},
  mrreviewer = {Douglas S. Bridges},
  owner = {Vasco},
  timestamp = {2013.12.01}
}

Downloads: 0