Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

[Koh96]  Analysing proofs in analysis

Koh:96b (In proceedings)
Author(s)Kohlenbach, Ulrich
Title« Analysing proofs in analysis »
InLogic: from foundations to applications. Proceeedings of the Logic Colloquium'93
Editor(s)Hodges, W. and Hyland, M. and Steinhorn C. and Truss, J.
Page(s)225--260
Year1996
PublisherOxford University Press

BibTeX code
@inproceedings{Koh:96b,
  booktitle = {Logic: from foundations to applications. Proceeedings of the
               Logic Colloquium'93},
  editor = {Hodges, W. and Hyland, M. and Steinhorn C. and Truss, J.},
  author = {Kohlenbach, Ulrich},
  publisher = {Oxford University Press},
  title = {Analysing proofs in analysis},
  pages = {225--260},
  year = 1996,
}

 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!