Proof as a Mathematical Object - Proposals for a Research Program
-
Published:2020
Issue:2
Volume:8
Page:
-
ISSN:2255-8950
-
Container-title:Baltic Journal of Modern Computing
-
language:
-
Short-container-title:BJMC
Publisher
University of Latvia
Subject
General Computer Science