학술논문
An arithmetic interpretation of intuitionistic verification
Document Type
Article
Author
Source
In: Journal of Logic and Computation . (Journal of Logic and Computation, 23 January 2020, 30(1):381-402)
Subject
Language
English
ISSN
1465363X
0955792X
0955792X