線形論理における古典的証明と 直観主義的証明の関係についての研究
Full text
Last time updated on 16/11/2016
This paper was published in JAIST Repository.
Having an issue?
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.