Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[Koh08c]  Goedel's functional interpretation and its use in current mathematics

Koh:centenary (In a collection)
Author(s)Kohlenbach, Ulrich
Title« Goedel's functional interpretation and its use in current mathematics »
NoteReprinted in: dialectica Vol. 62, no. 2, pp. 223-267 (2008)

BibTeX code
@incollection{Koh:centenary,
  publisher = {Cambridge University Press},
  title = {{G}oedel's functional interpretation and its use in current
           mathematics},
  year = 2008,
  booktitle = {Horizons of Truth: Goedel Centenary},
  editor = {Matthias Baaz},
  note = {Reprinted in: dialectica Vol. 62, no. 2, pp. 223-267 (2008)},
  author = {Kohlenbach, Ulrich},
}

 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!