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: 231
Categories

Slides

Related Open Educational Resources

Related content

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.
  Bibliography

See Also:

Download slides icon Download slides: godelfellowship2011_kohlenbach_pita_01.pdf (617.5 KB)


Help icon Streaming Video Help

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:

make sure you have javascript enabled or clear this field: