|
Sibirskii Matematicheskii Zhurnal, 1983, Volume 24, Number 3, Pages 136–141
(Mi smj6722)
|
|
|
|
A calculus with an elementary equivalence quantifier
A. G. Pinus Novosibirsk Electrotechnical Institute
Received: 20.05.1981
Citation:
A. G. Pinus, “A calculus with an elementary equivalence quantifier”, Sibirsk. Mat. Zh., 24:3 (1983), 136–141; Siberian Math. J., 24:3 (1983), 428–432
Linking options:
https://www.mathnet.ru/eng/smj6722 https://www.mathnet.ru/eng/smj/v24/i3/p136
|
|