Gödel’s Dialectica Interpretation

Klaus Frovin Jørgensen (Lecturer)

Activity: Talk or presentationLecture and oral contribution

Description

Logikseminar
jan. 01 2010 - dec. 31 2010
Danmark
Period6 May 2010
Held atUnknown external organisation