Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[Koh11b]  Gödel's functional interpretation and its use in current mathematics

Kohlenbach2010d (In proceedings)
Author(s)Ulrich Kohlenbach
Title« Gödel's functional interpretation and its use in current mathematics »
InKurt Gödel and the Foundations of Mathematics. Horizons of Truth
Editor(s)Matthias Baaz and others
Page(s)223--267
Year2011
PublisherCambridge University Press

BibTeX code
@inproceedings{Kohlenbach2010d,
  publisher = {Cambridge University Press},
  title = {{G}\"odel's functional interpretation and its use in current
           mathematics},
  year = {2011},
  pages = {223--267},
  editor = {Matthias Baaz and others},
  booktitle = {{K}urt {G}\"odel and the {F}oundations of {M}athematics.
               {H}orizons of {T}ruth},
  author = {Ulrich Kohlenbach},
}

 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!