Conference honoring the Winners of the Kurt Gödel Research Prize Fellowships 2008 and 2011

Proof Interpretations and Their Application to Current Mathematics

author: Ulrich Kohlenbach, Department of Mathematics, Darmstadt University of Technology
published: May 20, 2011, recorded: April 2011, views: 3192

Slides

Related Open Educational Resources

Report a problem or upload files

If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.
Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.

Lecture popularity: You need to login to cast your vote.

Link this page

Would you like to put a link to this lecture on your homepage?
Go ahead! Copy the HTML snippet !

Write your own review or comment:

Comment:
Name:
Email address:
URL:

make sure you have javascript enabled or clear this field: