Extensional Gödel Functional Interpretation (0)

by H Luckhardt
Venue:of Lecture