SEARCH

SEARCH BY CITATION

First page of article

First page of Gödel's Functional Interpretation and its Use in Current Mathematics*