Abstract
This paper is a survey of V.A. Smirnov’s main results in modern logic.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Rights and permissions
About this article
Cite this article
Karpenko, A. V.A. Smirnov’s Results in the Field of Modern Formal Logic. Studia Logica 66, 227–252 (2000). https://doi.org/10.1023/A:1017396213715
Issue Date:
DOI: https://doi.org/10.1023/A:1017396213715