RUS  ENG
Full version
JOURNALS // Trudy Matematicheskogo Instituta imeni V.A. Steklova // Archive
Trudy Mat. Inst. Steklov., 1968 Volume 98, Pages 5–25 (Mi tm2925)
Specialization of the form of deduction in the precicate calculus with equality and function symbols. I

V. A. Lifshits


UDC: 51.01:164


 English version: Proceedings of the Steklov Institute of Mathematics, 1968, 98, 1–23

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026