Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[Koh05b]  Proof Interpretations and the Computational Content of Proofs

Koh:03b ('Miscellaneous document')
Author(s)Kohlenbach U.
Title« Proof Interpretations and the Computational Content of Proofs »
Year2005
NoteDraft, December 2005, ii+395pp, http://www.mathematik.tu-darmstadt.de/kohlenbach/newcourse.ps.gz

BibTeX code
@misc{Koh:03b,
  year = 2005,
  title = {Proof Interpretations and the Computational Content of Proofs},
  author = {Kohlenbach, Ulrich},
  note = {Draft, December 2005, ii+395pp,
          http://www.mathematik.tu-darmstadt.de/{$\sim$}kohlenbach/newcourse.ps.gz},
}

 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!