Smirnov V.A.

Problem of Rationality

read more | 1 attachment

Logical relations between theories

read more | 1 attachment

Levels of knowledge and stages in the process of knowledge

read more | 2 attachments

Logical relations between theories

read more | 1 attachment

Internal and external logic

read more | 1 attachment

Theory of quantification and epsilon-calculi

read more | 1 attachment

On decidability of decision problem for sequential calculus of predicates without contractions

read more | 1 attachment

Free Logics and Quite Free Logics. Vladimir A. Smirnov

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

Logic and clinic diagnostics. Basics.