Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[Koh10]  On the logical analysis of proofs based on nonseparable Hilbert space theory

Koh09 (In proceedings)
Author(s)Kohlenbach, Ulrich
Title« On the logical analysis of proofs based on nonseparable Hilbert space theory »
InProof, Categories and Computation: Papers in honor of Grigori Mints' 70th birthday.
Editor(s)Feferman, S. and Sieg, W.
Page(s)131--143
Year2010
PublisherCollege Publications

BibTeX code
@inproceedings{Koh09,
  title = {On the logical analysis of proofs based on nonseparable {H}ilbert
           space theory},
  year = 2010,
  booktitle = {Proof, Categories and Computation: Papers in honor of Grigori
               Mints' 70th birthday.},
  publisher = {College Publications},
  pages = {131--143},
  editor = {Feferman, S. and Sieg, W.},
  author = {Kohlenbach, Ulrich},
  notes = {to appear},
}

 Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)

Valid HTML 4.01!Valid CSS!