Functional interpretations : from the Dialectica interpretation to functional interpretations of analysis and set theory /
Diller, Justus,author.
subtitle from cover.
Includes bibliographical references and index.
Logic, Symbolic and mathematical.
Functionals.
Set theory.
Functionals.
Logic, Symbolic and mathematical.
Set theory.
Also issued online.