Geodesic

Logical and logical-mathematical calculus. Part 2

Editorial
The restriction of the complexity of terms in the resolution method
p. 5-13
The inverse method, and tactics for establishing deducibility for a calculus with functional symbols
p. 14-56
Decidable classes that reduce to a single quantifier class
p. 57-66
The Skolem method in intuitionistic calculi
p. 67-99
Undecidable classes of formulas for the constructive predicate calculus.~I
p. 100-108
A sequential variant of the arithmetical system of R.~Robinson that does not contain cut type rules
p. 109-135
Sequential variants of applied predicate calculi without structural rules of inference
p. 136-164
Errata