[FOM] Kohlenbach's lecture notes

[Martin Davis]

An fom subscriber who prefers to remain anonymous has asked me to post the 
following:

<< ... let me give a reference to Lecture Notes by Ulrich Kohlenbach
http://www.brics.dk/~kohlenb/newcourse.ps
Lecture Notes: Proof Interpretations and the Computational Content of
Proofs

Ulrich's work in proof mining (the term by Dana Scott) in classical
non-linear analysis is the most serious contribution since the work of
his teacher, H. Luckhardt on rational approximations.>>



                           Martin Davis
                    Visiting Scholar UC Berkeley
                      Professor Emeritus, NYU
                          martin at eipye.com
                          (Add 1 and get 0)
                        http://www.eipye.com