An omniscience principle, the König lemma and the Hahn-Banach theorem. Ishihara, H. 36:237–240, 1990.
bibtex   
@ARTICLE{Ish90,
  author = {Ishihara, Hajime},
  title = {An omniscience principle, the {K}{\"{o}}nig lemma and the {H}ahn-{B}anach
	theorem},
  journal = ZMLG,
  year = {1990},
  volume = {36},
  pages = {237--240},
  keywords = {bib,con}
}

Downloads: 0