RUS  ENG
Full version
JOURNALS // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika // Archive
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1984 Number 4, Pages 3–5 (Mi vmumm3380)
Mathematics

Deductive potentialities of the negationless predicate calculus

V. N. Krivtsov


UDC: 517.11

Received: 09.04.1982



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026