1 results
Realizability interpretation of PA by iterated limiting PCA
-
- Journal:
- Mathematical Structures in Computer Science / Volume 24 / Issue 6 / December 2014
- Published online by Cambridge University Press:
- 11 March 2014, e240603
-
- Article
- Export citation