Functional Interpretations
Subtitle: From the Dialectica Interpretation to Interpretations of Classical and Constructive Set Theory
Publisher: World Scientific Publishing Co Pte Ltd
Published: 2015
Language: eng
ISBN-13: 9789814551397
Subjects: Set theory