Foundations of Constructive Mathematics. Beeson, M. J. Springer, Berlin, 1985.
bibtex   
@BOOK{Bee85,
  title = {Foundations of {C}onstructive {M}athematics},
  publisher = {Springer},
  year = {1985},
  author = {Beeson, Michael J.},
  series = {A Series of Modern Surveys in Mathematics},
  address = {Berlin},
  keywords = {bib,con},
  vol = {6}
}

Downloads: 0