|
Trudy Matematicheskogo Instituta im. V. A. Steklova, 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
Citation:
V. A. Lifshits, “Specialization of the form of deduction in the precicate calculus with equality and function symbols. I”, Logical and logical-mathematical calculus. Part I, Trudy Mat. Inst. Steklov., 98, 1968, 5–25; Proc. Steklov Inst. Math., 98 (1968), 1–23
Linking options:
https://www.mathnet.ru/eng/tm2925 https://www.mathnet.ru/eng/tm/v98/p5
|
Statistics & downloads: |
Abstract page: | 217 | Full-text PDF : | 81 |
|