Papers by V.Smirnov, Inference, Volume 1, No. 1

Papers on Logical Inference

top stories

A Search of Proofs in Natural Intuitionistic Predicate Calculus with e-symbol and Predicate of Existence. Vladimir A. Smirnov